X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java index 1dfe2cf..60f8e03 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java @@ -1091,29 +1091,6 @@ public class PreferenceConstants { public final static String EDITOR_OVERVIEW_RULER = "overviewRuler"; //$NON-NLS-1$ /** - * A named preference that controls if the line number ruler is shown in the - * UI. - *
- * Value is of type Boolean
.
- *
- * Value is of type String
. A RGB color value encoded as a
- * string using class PreferenceConverter
- *
@@ -2760,11 +2737,6 @@ public class PreferenceConstants { store.setDefault(PreferenceConstants.EDITOR_OVERVIEW_RULER, true); - store.setDefault(PreferenceConstants.EDITOR_LINE_NUMBER_RULER, false); - PreferenceConverter.setDefault(store, - PreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, new RGB(0, - 0, 0)); - // WorkbenchChainedTextFontFieldEditor.startPropagate(store, // JFaceResources.TEXT_FONT);