Home
last modified time | relevance | path

Searched refs:EDITOR_JAVA_KEYWORD_RETURN_COLOR (Results 1 – 4 of 4) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/
H A DIJavaThemeConstants.java67 …public final String EDITOR_JAVA_KEYWORD_RETURN_COLOR= ID_PREFIX + PreferenceConstants.EDITOR_JAVA_… field
H A DJavaUIPreferenceInitializer.java72 PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR, in setThemeBasedPreferences()
73 …findRGB(registry, IJavaThemeConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR, new RGB(127, 0, 85)), fire… in setThemeBasedPreferences()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/
H A DJavaEditorColoringConfigurationBlock.java335 …ges.JavaEditorPreferencePage_returnKeyword, PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_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.java1665 …public final static String EDITOR_JAVA_KEYWORD_RETURN_COLOR= IJavaColorConstants.JAVA_KEYWORD_RETU… field in PreferenceConstants