Home
last modified time | relevance | path

Searched refs:EDITOR_JAVA_ANNOTATION_BOLD (Results 1 – 2 of 2) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java1838 …public final static String EDITOR_JAVA_ANNOTATION_BOLD= IJavaColorConstants.JAVA_ANNOTATION + EDIT… field in PreferenceConstants
4060 store.setDefault(PreferenceConstants.EDITOR_JAVA_ANNOTATION_BOLD, false); in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/
H A DSemanticHighlightings.java2291 …SuppressWarnings("deprecation") String oldBoldkey= PreferenceConstants.EDITOR_JAVA_ANNOTATION_BOLD; in convertAnnotationHighlightingPreferences()