de.cau.cs.kieler.kiml.graphviz.layouter.preferences
Class GraphvizPreferencePage

java.lang.Object
  extended by org.eclipse.jface.dialogs.DialogPage
      extended by org.eclipse.jface.preference.PreferencePage
          extended by org.eclipse.jface.preference.FieldEditorPreferencePage
              extended by de.cau.cs.kieler.kiml.graphviz.layouter.preferences.GraphvizPreferencePage
All Implemented Interfaces:
EventListener, IDialogPage, IMessageProvider, IPreferencePage, IPropertyChangeListener, IWorkbenchPreferencePage

public class GraphvizPreferencePage
extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage

The Graphviz preference page.

Rating proposed yellow
(2009-12-21) msp

Field Summary
static String ID
          identifier of the preference page.
 
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
FLAT, GRID, MARGIN_HEIGHT, MARGIN_WIDTH, VERTICAL_SPACING
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
GraphvizPreferencePage()
          Creates a Graphviz preference page.
 
Method Summary
 void createFieldEditors()
          
 void init(IWorkbench workbench)
          
 boolean performOk()
          
 
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
addField, adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performDefaults, propertyChange, setVisible
 
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, performApply, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString, updateApplyButton
 
Methods inherited from class org.eclipse.jface.dialogs.DialogPage
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage
 
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
 

Field Detail

ID

public static final String ID
identifier of the preference page.

See Also:
Constant Field Values
Constructor Detail

GraphvizPreferencePage

public GraphvizPreferencePage()
Creates a Graphviz preference page.

Method Detail

createFieldEditors

public void createFieldEditors()

Specified by:
createFieldEditors in class FieldEditorPreferencePage

init

public void init(IWorkbench workbench)

Specified by:
init in interface IWorkbenchPreferencePage

performOk

public boolean performOk()

Specified by:
performOk in interface IPreferencePage
Overrides:
performOk in class FieldEditorPreferencePage