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.
- * <p>
- * Value is of type <code>Boolean</code>.
- * </p>
- */
- public final static String EDITOR_LINE_NUMBER_RULER = "lineNumberRuler"; //$NON-NLS-1$
-
- /**
- * A named preference that holds the color used to render line numbers
- * inside the line number ruler.
- * <p>
- * Value is of type <code>String</code>. A RGB color value encoded as a
- * string using class <code>PreferenceConverter</code>
- * </p>
- *
- * @see org.eclipse.jface.resource.StringConverter
- * @see org.eclipse.jface.preference.PreferenceConverter
- * @see #EDITOR_LINE_NUMBER_RULER
- */
- public final static String EDITOR_LINE_NUMBER_RULER_COLOR = "lineNumberColor"; //$NON-NLS-1$
-
- /**
* A named preference that holds the color used to render linked positions
* inside code templates.
* <p>
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);