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, setVisibleapplyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toStringgetControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessageequals, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic static final String PREFERENCE_SIMULATION_ENGINE_ID