Home
last modified time | relevance | path

Searched refs:EDITOR_BOOKMARK_INDICATION_COLOR (Results 1 – 5 of 5) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/
H A DTextEditorPreferenceConstants.java233 …public final static String EDITOR_BOOKMARK_INDICATION_COLOR= "bookmarkIndicationColor"; //$NON-NLS… field in TextEditorPreferenceConstants
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java762 …public final static String EDITOR_BOOKMARK_INDICATION_COLOR = "bookmarkIndicationColor"; //$NON-NL… field in PreferenceConstants
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java990 …public final static String EDITOR_BOOKMARK_INDICATION_COLOR= "bookmarkIndicationColor"; //$NON-NLS… field in PreferenceConstants
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/
H A DPHPUnitEditor.java1355 …nal static String BOOKMARK_INDICATION_COLOR = PreferenceConstants.EDITOR_BOOKMARK_INDICATION_COLOR;
H A DPHPEditor.java4786 …nal static String BOOKMARK_INDICATION_COLOR = PreferenceConstants.EDITOR_BOOKMARK_INDICATION_COLOR;