public interface IPreferencesConstants
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
PLUGIN_CUSTOMIZATION
Command line options
|
static java.lang.String |
PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME
This is the base filename used to construct the name of the preference
file and the name of the preference translation file.
|
static java.lang.String |
PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME
The name of the file (value
"preferences.ini") in a
plug-in's (read-only) directory that, when present, contains values that
override the normal default values for this plug-in's preferences. |
static java.lang.String |
PREFERS_NAME
Name of this plugin
|
static java.lang.String |
PT_PREFERENCES
The simple identifier constant (value "
preferences") of
the extension point of the Core Runtime plug-in where plug-ins declare
extensions to the preference facility. |
static java.lang.String |
RUNTIME_NAME
Backward compatibilty: name of the original runtime plugin
|
static final java.lang.String RUNTIME_NAME
static final java.lang.String PREFERS_NAME
static final java.lang.String PLUGIN_CUSTOMIZATION
static final java.lang.String PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME
static final java.lang.String PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME
"preferences.ini") in a
plug-in's (read-only) directory that, when present, contains values that
override the normal default values for this plug-in's preferences.
The format of the file is as per java.io.Properties where
the keys are property names and values are strings.
static final java.lang.String PT_PREFERENCES
preferences") of
the extension point of the Core Runtime plug-in where plug-ins declare
extensions to the preference facility. A plug-in may define any number
of preference extensions.