|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
de.cau.cs.kieler.ksbase.ui.preferences.EditorsPreferencePage
public class EditorsPreferencePage
The KSBasE transformation preference page. The preference page is used to modify existing extensions only! Due to technical restrictions, it is not possible to add new settings here. If you'd like to create features for a new editor please use the 'ksbase.configuration' extension point provided by this project
Field Summary |
---|
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
---|
ERROR, INFORMATION, NONE, WARNING |
Constructor Summary | |
---|---|
EditorsPreferencePage()
Default constructor. |
Method Summary | |
---|---|
protected Control |
createContents(Composite parent)
Creates the contents of the preference page. |
protected static EditorTransformationSettings |
getActiveEditor()
Gets the active editor. |
void |
init(IWorkbench workbench)
Initializes the preference page. |
protected void |
performApply()
|
boolean |
performOk()
Performs an 'OK' command. |
protected static void |
setActiveEditor(EditorTransformationSettings editor)
Sets the new active editor. |
Methods inherited from class org.eclipse.jface.preference.PreferencePage |
---|
applyData, applyDialogFont, computeSize, contributeButtons, createControl, createDescriptionLabel, createNoteComposite, doComputeSize, doGetPreferenceStore, getApplyButton, getContainer, getDefaultsButton, getPreferenceStore, isValid, noDefaultAndApplyButton, okToLeave, performCancel, performDefaults, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString, updateApplyButton |
Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
---|
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, dispose, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage, setVisible |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.eclipse.jface.preference.IPreferencePage |
---|
computeSize, isValid, okToLeave, performCancel, setContainer, setSize |
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
---|
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
Constructor Detail |
---|
public EditorsPreferencePage()
Method Detail |
---|
protected Control createContents(Composite parent)
createContents
in class PreferencePage
parent
- The parent of this preference page.
public final void init(IWorkbench workbench)
init
in interface IWorkbenchPreferencePage
workbench
- The workbench for this preference pageprotected void performApply()
performApply
in class PreferencePage
public boolean performOk()
performOk
in interface IPreferencePage
performOk
in class PreferencePage
protected static EditorTransformationSettings getActiveEditor()
TransformationPreferencePage
protected static void setActiveEditor(EditorTransformationSettings editor)
editor
- The new editor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |