Home
last modified time | relevance | path

Searched refs:EDITOR_JAVADOC_LINKS_BOLD (Results 1 – 3 of 3) sorted by relevance

/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java1626 public final static String EDITOR_JAVADOC_LINKS_BOLD = IPreferenceConstants.PHPDOC_LINK field in PreferenceConstants
2834 store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD, false); in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java2095 …public final static String EDITOR_JAVADOC_LINKS_BOLD= IJavaColorConstants.JAVADOC_LINK + EDITOR_BO… field in PreferenceConstants
4092 store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD, false); in initializeDefaultValues()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/
H A DJavaEditorPreferencePage.java506 PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD)); in createOverlayStoreKeys()