Home
last modified time | relevance | path

Searched refs:EDITOR_WARNING_INDICATION_COLOR (Results 1 – 2 of 2) 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.java197 public final static String EDITOR_WARNING_INDICATION_COLOR= "warningIndicationColor"; //$NON-NLS-1$ field in TextEditorPreferenceConstants
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java935 public final static String EDITOR_WARNING_INDICATION_COLOR= "warningIndicationColor"; //$NON-NLS-1$ field in PreferenceConstants