| Interface | Description |
|---|---|
| Setup |
Installs most of the menus and toolbar buttons.
|
| WorkbenchProperties |
| Class | Description |
|---|---|
| JUMPConfiguration |
Initializes the Workbench with various menus and cursor tools.
|
| JUMPWorkbench |
This class is responsible for setting up and displaying the main JUMP
workbench window.
|
| JUMPWorkbenchContext |
Implementation of
WorkbenchContext for the JUMPWorkbench. |
| WorkbenchContext |
Convenience methods for accessing the various elements in the Workbench
structure.
|
| WorkbenchPropertiesFile |
| Exception | Description |
|---|---|
| WorkbenchException |