Home
last modified time | relevance | path

Searched refs:EDITOR_CURRENT_LINE_COLOR (Results 1 – 10 of 10) 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.java59 public final static String EDITOR_CURRENT_LINE_COLOR= "currentLineColor"; //$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.java55 AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR, in setThemeBasedPreferences()
H A DTextEditorDefaultsPreferencePage.java731 …PreferenceStore.STRING, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR)); in createOverlayStore()
1148 …new ColorEntry(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR, TextEdito… in initialize()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.astview/src/org/eclipse/jdt/astview/views/
H A DASTViewLabelProvider.java66 …ferenceStore().getString(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR); in ASTViewLabelProvider()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java587 public final static String EDITOR_CURRENT_LINE_COLOR = "currentLineColor"; //$NON-NLS-1$ field in PreferenceConstants
2669 PreferenceConstants.EDITOR_CURRENT_LINE_COLOR, new RGB(225, in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/
H A DAbstractDecoratedTextEditorPreferenceConstants.java72 public final static String EDITOR_CURRENT_LINE_COLOR= "currentLineColor"; //$NON-NLS-1$ field in AbstractDecoratedTextEditorPreferenceConstants
H A DAbstractDecoratedTextEditor.java195 …tring CURRENT_LINE_COLOR= AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_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.java796 public final static String EDITOR_CURRENT_LINE_COLOR= "currentLineColor"; //$NON-NLS-1$ field in PreferenceConstants
4252 store.setToDefault(PreferenceConstants.EDITOR_CURRENT_LINE_COLOR); // global in initializeDefaultValues()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/
H A DJavaEditorPreferencePage.java199 AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR },
522 AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR)); in createOverlayStoreKeys()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.compare/compare/org/eclipse/compare/contentmergeviewer/
H A DTextMergeViewer.java483 …tring CURRENT_LINE_COLOR= AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR;