Home
last modified time | relevance | path

Searched refs:EDITOR_LINE_NUMBER_RULER_COLOR (Results 1 – 7 of 7) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/
H A DTextEditorPreferenceConstants.java173 public final static String EDITOR_LINE_NUMBER_RULER_COLOR= "lineNumberColor"; //$NON-NLS-1$ field in TextEditorPreferenceConstants
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/
H A DEditorsPluginPreferenceInitializer.java63 AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, in setThemeBasedPreferences()
H A DTextEditorDefaultsPreferencePage.java746 …renceStore.STRING, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR)); in createOverlayStore()
1146 …new ColorEntry(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, Text… in initialize()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/
H A DAbstractDecoratedTextEditorPreferenceConstants.java246 public final static String EDITOR_LINE_NUMBER_RULER_COLOR= "lineNumberColor"; //$NON-NLS-1$ field in AbstractDecoratedTextEditorPreferenceConstants
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/
H A DMergeSourceViewer.java960 …se if (key.equals(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR)) {
985 …tPreferenceStore(), AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR);
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java1302 public final static String EDITOR_LINE_NUMBER_RULER_COLOR= "lineNumberColor"; //$NON-NLS-1$ field in PreferenceConstants
4247 store.setToDefault(EDITOR_LINE_NUMBER_RULER_COLOR); // global in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/internal/texteditor/
H A DLineNumberColumn.java95 …String FG_COLOR_KEY= AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR;