|
||||||||||
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 |