public class PreferenceConstants
extends java.lang.Object
Red (tfeng) |
Red (tfeng) |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
BACKTRACK_CONFIGURATION
Configuration preference.
|
static java.lang.String |
BACKTRACK_EXTRA_CLASSPATHS
Extra classpath.
|
static java.lang.String |
BACKTRACK_GENERATE_CONFIGURATION
Whether to generate configuration.
|
static java.lang.String |
BACKTRACK_OVERWRITE
Whether to overwrite exiting files.
|
static java.lang.String |
BACKTRACK_PREFIX
Package prefix.
|
static java.lang.String |
BACKTRACK_ROOT
Root path.
|
static java.lang.String |
BACKTRACK_SOURCE_LIST
Backtracking source list.
|
static java.lang.String |
BACKTRACK_SOURCES
Backtracking source files.
|
static java.lang.String |
EDITOR_ACTOR_METHOD_BOLD
Whether special methods should have bold face.
|
static java.lang.String |
EDITOR_ACTOR_METHOD_COLOR
Color for special methods.
|
static java.lang.String |
EDITOR_ACTOR_METHOD_ITALIC
Whether special methods should be italic.
|
static java.lang.String |
EDITOR_HIGHLIGHTING_ENABLED
Whether semantic highlighting is enabled.
|
static java.lang.String |
EDITOR_STATE_BOLD
Whether state variables should have bold face.
|
static java.lang.String |
EDITOR_STATE_COLOR
Color for state variables.
|
static java.lang.String |
EDITOR_STATE_ITALIC
Whether state variables should be italic.
|
static java.lang.String |
PTII
PTII path.
|
static java.lang.String |
PTII_PREFERENCE_ID
ID of the backtracking preferences.
|
Constructor and Description |
---|
PreferenceConstants() |
public static final java.lang.String BACKTRACK_CONFIGURATION
public static final java.lang.String BACKTRACK_EXTRA_CLASSPATHS
public static final java.lang.String BACKTRACK_GENERATE_CONFIGURATION
public static final java.lang.String BACKTRACK_OVERWRITE
public static final java.lang.String BACKTRACK_PREFIX
public static final java.lang.String BACKTRACK_ROOT
public static final java.lang.String BACKTRACK_SOURCES
public static final java.lang.String BACKTRACK_SOURCE_LIST
public static final java.lang.String EDITOR_ACTOR_METHOD_BOLD
public static final java.lang.String EDITOR_ACTOR_METHOD_COLOR
public static final java.lang.String EDITOR_ACTOR_METHOD_ITALIC
public static final java.lang.String EDITOR_HIGHLIGHTING_ENABLED
public static final java.lang.String EDITOR_STATE_BOLD
public static final java.lang.String EDITOR_STATE_COLOR
public static final java.lang.String EDITOR_STATE_ITALIC
public static final java.lang.String PTII
public static final java.lang.String PTII_PREFERENCE_ID