edu.stanford.hci.dtools.preferences
Class DtoolsPreferencePage
java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
org.eclipse.jface.preference.FieldEditorPreferencePage
edu.stanford.hci.dtools.preferences.DtoolsPreferencePage
- All Implemented Interfaces:
- java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage
public class DtoolsPreferencePage
- extends org.eclipse.jface.preference.FieldEditorPreferencePage
- implements org.eclipse.ui.IWorkbenchPreferencePage
This class represents a preference page that
is contributed to the Preferences dialog. By
subclassing FieldEditorPreferencePage, we
can use the field support built into JFace that allows
us to create a page that is small and knows how to
save, restore and apply itself.
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.
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
FLAT, GRID |
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
ERROR, INFORMATION, NONE, WARNING |
Method Summary |
void |
createFieldEditors()
Creates the field editors. |
void |
init(org.eclipse.ui.IWorkbench workbench)
|
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
dispose, performOk, propertyChange, setVisible |
Methods inherited from class org.eclipse.jface.preference.PreferencePage |
applyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString |
Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.eclipse.jface.preference.IPreferencePage |
computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize |
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
DtoolsPreferencePage
public DtoolsPreferencePage()
createFieldEditors
public void createFieldEditors()
- 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.
- Specified by:
createFieldEditors
in class org.eclipse.jface.preference.FieldEditorPreferencePage
init
public void init(org.eclipse.ui.IWorkbench workbench)
- Specified by:
init
in interface org.eclipse.ui.IWorkbenchPreferencePage