Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2005-02-09 13:29:59 +0000
committerteicher2005-02-09 13:29:59 +0000
commit7f4ea8209a5d92f2a2b2370925a41273d6dae6c5 (patch)
treeb91a28fe491d6a87f730c0c5183133ca868ce7e5 /org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java
parent53a8d8fbb8eaf679b26d010ad08fcf715b69c131 (diff)
downloadeclipse.platform.text-7f4ea8209a5d92f2a2b2370925a41273d6dae6c5.tar.gz
eclipse.platform.text-7f4ea8209a5d92f2a2b2370925a41273d6dae6c5.tar.xz
eclipse.platform.text-7f4ea8209a5d92f2a2b2370925a41273d6dae6c5.zip
bug 82987 3.1 M4 can cause overview ruler to disappear forever
Diffstat (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java')
-rw-r--r--org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/EditorsPluginPreferenceInitializer.java21
1 files changed, 20 insertions, 1 deletions
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);
+ }
}
}

Back to the top