EDITOR_JAVA_BRACKET_BOLD (reference) in projects: dports

Searched refs:EDITOR_JAVA_BRACKET_BOLD (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/ui/
H A D	PreferenceConstants.java	`1781 …public final static String EDITOR_JAVA_BRACKET_BOLD= IJavaColorConstants.JAVA_BRACKET + EDITOR_BOL… field in PreferenceConstants 4080 store.setDefault(PreferenceConstants.EDITOR_JAVA_BRACKET_BOLD, false); in initializeDefaultValues()`