Searched refs:EDITOR_JAVADOC_KEYWORD_COLOR (Results 1 – 6 of 6) 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 D | IJavaThemeConstants.java | 72 …public final String EDITOR_JAVADOC_KEYWORD_COLOR= ID_PREFIX + PreferenceConstants.EDITOR_JAVADOC_K… field
|
| H A D | JavaUIPreferenceInitializer.java | 97 PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR, in setThemeBasedPreferences()
98 …findRGB(registry, IJavaThemeConstants.EDITOR_JAVADOC_KEYWORD_COLOR, new RGB(127, 159, 191)), fireE… in setThemeBasedPreferences()
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/ |
| H A D | PreferenceConstants.java | 1573 public final static String EDITOR_JAVADOC_KEYWORD_COLOR = IPreferenceConstants.PHPDOC_KEYWORD; field in PreferenceConstants
2822 PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR, new RGB(127, in initializeDefaultValues()
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/ |
| H A D | JavaEditorPreferencePage.java | 173 PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR },
491 PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR)); in createOverlayStoreKeys()
|
| /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 D | JavaEditorColoringConfigurationBlock.java | 327 …sages.JavaEditorPreferencePage_javaDocKeywords, PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR },
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/ |
| H A D | PreferenceConstants.java | 1986 public final static String EDITOR_JAVADOC_KEYWORD_COLOR= IJavaColorConstants.JAVADOC_KEYWORD; field in PreferenceConstants
|