|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Workspace | |
|---|---|
| data | |
| gui | |
| gui.workSpace | |
| Uses of Workspace in data |
|---|
| Methods in data that return Workspace | |
|---|---|
static Workspace |
SerialManager.loadWorkspace(java.lang.String filename)
Return the Workspace previously saved with the given name |
| Methods in data with parameters of type Workspace | |
|---|---|
static void |
SerialManager.saveWorkspace(Workspace w,
java.lang.String filename)
Saves a Workspace object with the given name |
| Uses of Workspace in gui |
|---|
| Fields in gui declared as Workspace | |
|---|---|
(package private) Workspace |
MainBar.ws
|
| Uses of Workspace in gui.workSpace |
|---|
| Fields in gui.workSpace declared as Workspace | |
|---|---|
Workspace |
WorkspaceManager.ws
|
| Methods in gui.workSpace that return Workspace | |
|---|---|
static Workspace |
WorkspaceLoader.showLoadDialog()
|
| Methods in gui.workSpace with parameters of type Workspace | |
|---|---|
static void |
WorkspaceSaver.save(java.awt.Container pare,
Workspace ws)
That function generates the dialog needed to prompt information about the place to export and calls a lower layer class to do that |
| Constructors in gui.workSpace with parameters of type Workspace | |
|---|---|
PanelWSMain(Workspace ws)
|
|
WorkspaceManager(Workspace workspace)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||