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. |
|
|
|
|
|
|
|
|
|
|
|
|
1.3.8