Public Member Functions | |
MonitoringPreferencePage () | |
void | createFieldEditors () |
void | init (IWorkbench workbench) |
Override boolean | performOk () |
Static Public Attributes | |
final String | AUTO_MONITOR = "prefs_auto_monitor" |
Private Attributes | |
ScopedPreferenceStore | preferences |
This page is used to modify preferences only. They are stored in the preference store that belongs to the main plug-in class. That way, preferences can be accessed directly via the preference store.
|
|
|
Creates the field editors. Field editors are abstractions of the common GUI blocks needed to manipulate various types of preferences. Each field editor knows how to save and restore itself. |
|
|
|
|
|
|
|
|