From 7f4ea8209a5d92f2a2b2370925a41273d6dae6c5 Mon Sep 17 00:00:00 2001 From: teicher Date: Wed, 9 Feb 2005 13:29:59 +0000 Subject: bug 82987 3.1 M4 can cause overview ruler to disappear forever --- .../text/EditorsPluginPreferenceInitializer.java | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java') diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java index b36cefa1f81..e1a07639434 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java @@ -13,7 +13,10 @@ package org.eclipse.ui.internal.editors.text; import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; +import org.eclipse.jface.preference.IPreferenceStore; + import org.eclipse.ui.editors.text.TextEditorPreferenceConstants; +import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants; /** @@ -28,6 +31,22 @@ public class EditorsPluginPreferenceInitializer extends AbstractPreferenceInitia * @since 3.1 */ public void initializeDefaultPreferences() { - TextEditorPreferenceConstants.initializeDefaultValues(EditorsPlugin.getDefault().getPreferenceStore()); + IPreferenceStore store= EditorsPlugin.getDefault().getPreferenceStore(); + TextEditorPreferenceConstants.initializeDefaultValues(store); + migrateOverviewRulerPreference(store); + } + + private void migrateOverviewRulerPreference(IPreferenceStore store) { + String preference= AbstractDecoratedTextEditorPreferenceConstants.EDITOR_OVERVIEW_RULER; + String postfix= "_migration"; //$NON-NLS-1$ + String MIGRATED= "migrated_3.1"; //$NON-NLS-1$ + String migrationKey= preference + postfix; + + String migrationValue= store.getString(migrationKey); + if (!MIGRATED.equals(migrationValue)) { + store.setValue(migrationKey, MIGRATED); + if (!store.getBoolean(preference)) + store.setValue(preference, true); + } } } -- cgit v1.2.3