public class EpsilonHighlightingManager extends AbstractHighlightingManager
Modifier and Type | Field and Description |
---|---|
static String |
ANNOTATION_COLOR_PREF |
static String |
ASSERTION_COLOR_PREF |
static String |
BUILTIN_COLOR_PREF |
static List<String> |
COLOR_PREFERENCES |
static String |
COMMENT_COLOR_PREF |
static String |
DEFAULT_COLOR_PREF |
static String |
EGL_STATIC_TEXT_COLOR_PREF |
static String |
KEYWORD_COLOR_PREF |
static String |
MARKER_COLOR_PREF |
static String |
STRING_COLOR_PREF |
static String |
TYPE_COLOR_PREF |
preferenceStore
Constructor and Description |
---|
EpsilonHighlightingManager() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
areDefaultColorsCorrect() |
org.eclipse.swt.graphics.Color |
getAnnotationColor() |
org.eclipse.swt.graphics.Color |
getAssertionColor() |
org.eclipse.swt.graphics.Color |
getBuiltinColor() |
org.eclipse.swt.graphics.Color |
getCommentColor() |
org.eclipse.swt.graphics.Color |
getDefaultColor() |
org.eclipse.swt.graphics.Color |
getEGLStaticColor() |
org.eclipse.swt.graphics.Color |
getKeywordColor() |
org.eclipse.swt.graphics.Color |
getMarkerColor() |
org.eclipse.swt.graphics.Color |
getStringColor() |
org.eclipse.swt.graphics.Color |
getTypeColor() |
boolean |
isColorPreference(String preference) |
protected void |
setDefaults() |
getColor, getPreferenceStore, initialiseDefaultColors
public static final String COMMENT_COLOR_PREF
public static final String ANNOTATION_COLOR_PREF
public static final String STRING_COLOR_PREF
public static final String DEFAULT_COLOR_PREF
public static final String KEYWORD_COLOR_PREF
public static final String BUILTIN_COLOR_PREF
public static final String ASSERTION_COLOR_PREF
public static final String TYPE_COLOR_PREF
public static final String MARKER_COLOR_PREF
public static final String EGL_STATIC_TEXT_COLOR_PREF
protected boolean areDefaultColorsCorrect()
areDefaultColorsCorrect
in class AbstractHighlightingManager
protected void setDefaults()
setDefaults
in class AbstractHighlightingManager
public boolean isColorPreference(String preference)
isColorPreference
in class AbstractHighlightingManager
public org.eclipse.swt.graphics.Color getCommentColor()
public org.eclipse.swt.graphics.Color getAnnotationColor()
public org.eclipse.swt.graphics.Color getStringColor()
public org.eclipse.swt.graphics.Color getDefaultColor()
public org.eclipse.swt.graphics.Color getKeywordColor()
public org.eclipse.swt.graphics.Color getBuiltinColor()
public org.eclipse.swt.graphics.Color getAssertionColor()
public org.eclipse.swt.graphics.Color getTypeColor()
public org.eclipse.swt.graphics.Color getMarkerColor()
public org.eclipse.swt.graphics.Color getEGLStaticColor()
Copyright © 2020. All rights reserved.