OVERRIDE_PRESENTATION Workbench preference id for determining whether the user has chosen to
override some of the settings in the current presentation.
final public static String ENABLED_DECORATORS(Code)
KEYS_PREFERENCE_SELECTED_TAB
final public static String KEYS_PREFERENCE_SELECTED_TAB(Code)
The key for the preference indicating which tab is selected in the keys
preference page when last okay was pressed. This value should never
really be directly edited by a user.
This preference is an int value. The default value is
0.
The key for the preference indicating whether multi-stroke key sequences
should provide assistance to the user. This means that if the user pauses
after pressing the first key, a window will open showing the possible
completions.
This preference is a boolean value. The default value is
false.
since: 3.0
MULTI_KEY_ASSIST_TIME
final public static String MULTI_KEY_ASSIST_TIME(Code)
The key for the preference indicating how long the assist window should
wait before opening. This is a value in milliseconds -- from the time the
first key in a multi-key is received by the system, to the time the
assist window should appear.
This preference is an int value. The default value is
1000.
final public static String SHOULD_PROMPT_FOR_ENABLEMENT(Code)
Workbench preference id for determining whether the user will be prompted
for activity enablement. If this is false then activities are enabled
automatically. If it is true, then the user is only prompted for
activities that they have not already declared a disinterest in via the
prompt dialog.
The default value for this preference is: true (prompt)
since: 3.0
SHOW_MULTIPLE_EDITOR_TABS
public static String SHOW_MULTIPLE_EDITOR_TABS(Code)
Workbench preference id for whether the workbench should show multiple
editor tabs.
Boolean-valued: true if editors should show mulitple
editor tabs, and false if editors should show a single
editor tab (3.0 style)