public class SimulationPreferencePage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage
Modifier and Type | Field and Description |
---|---|
static String |
PREFERENCE_SIMULATION_ENGINE_ID
the id for the simulation engine preference
|
Constructor and Description |
---|
SimulationPreferencePage()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
init(org.eclipse.ui.IWorkbench workbench) |
dispose, performOk, propertyChange, setVisible
applyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString
getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static final String PREFERENCE_SIMULATION_ENGINE_ID