oldBoldkey (reference) in projects: dports

Searched refs:oldBoldkey (Results 1 – 1 of 1) 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/javaeditor/
H A D	SemanticHighlightings.java	2257 …@SuppressWarnings("deprecation") String oldBoldkey= PreferenceConstants.EDITOR_JAVA_METHOD_NAME_BO… in convertMethodHighlightingPreferences() local 2261 \|\| conditionalReset(store, oldBoldkey, boldkey) in convertMethodHighlightingPreferences() 2291 …@SuppressWarnings("deprecation") String oldBoldkey= PreferenceConstants.EDITOR_JAVA_ANNOTATION_BOL… in convertAnnotationHighlightingPreferences() local 2297 \|\| conditionalReset(store, oldBoldkey, boldkey) in convertAnnotationHighlightingPreferences()