Home
last modified time | relevance | path

Searched refs:EDITOR_FIND_SCOPE_COLOR (Results 1 – 3 of 3) sorted by relevance

/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java625 …public final static String EDITOR_FIND_SCOPE_COLOR = AbstractTextEditor.PREFERENCE_COLOR_FIND_SCOP… field in PreferenceConstants
2679 PreferenceConstants.EDITOR_FIND_SCOPE_COLOR, new RGB(185, 176, in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java841 public final static String EDITOR_FIND_SCOPE_COLOR= AbstractTextEditor.PREFERENCE_COLOR_FIND_SCOPE; field in PreferenceConstants
4262 store.setToDefault(PreferenceConstants.EDITOR_FIND_SCOPE_COLOR); // global in initializeDefaultValues()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/
H A DJavaEditorPreferencePage.java209 PreferenceConstants.EDITOR_FIND_SCOPE_COLOR },
547 PreferenceConstants.EDITOR_FIND_SCOPE_COLOR)); in createOverlayStoreKeys()