org.eclipse.ohf.stem.ui.views.map.preferences
Class MapViewPreferencePage

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 org.eclipse.ohf.stem.ui.views.map.preferences.MapViewPreferencePage
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 MapViewPreferencePage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

This class represents the preferences for the Map view of a simulation.


Field Summary
static java.lang.String ID_STEM_MAP_VIEW_PAGE
          The ID of the STEM Preference page.
 
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
FLAT, GRID
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
MapViewPreferencePage()
          Constructor
 
Method Summary
 void init(org.eclipse.ui.IWorkbench workbench)
           
 void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
           
 
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
dispose, performOk, 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
 

Field Detail

ID_STEM_MAP_VIEW_PAGE

public static final java.lang.String ID_STEM_MAP_VIEW_PAGE
The ID of the STEM Preference page.

See Also:
Constant Field Values
Constructor Detail

MapViewPreferencePage

public MapViewPreferencePage()
Constructor

Method Detail

propertyChange

public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
Specified by:
propertyChange in interface org.eclipse.jface.util.IPropertyChangeListener
Overrides:
propertyChange in class org.eclipse.jface.preference.FieldEditorPreferencePage
See Also:
FieldEditorPreferencePage.propertyChange(org.eclipse.jface.util.PropertyChangeEvent)

init

public void init(org.eclipse.ui.IWorkbench workbench)
Specified by:
init in interface org.eclipse.ui.IWorkbenchPreferencePage
See Also:
IWorkbenchPreferencePage.init(org.eclipse.ui.IWorkbench)