- getWorkbench
Returns the underlying workbench.
- setSaveAndRestore
Sets whether the workbench state should be saved on close and restored on
subsequent open.
- declareImage
Declares a workbench image. The workbench remembers the given image descriptor
under the given name,
- emergencyClose
Forces the workbench to close due to an emergency. This method should only be
called when the workbe
- getData
Returns the data associated with the workbench at the given key.
- restoreState
Restores the workbench state saved from the previous session, if any. This
includes any open windows
- setData
Sets the data associated with the workbench at the given key.