| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| WorkspaceListener | Interface that all elements that listen to Workspaces should implement. |
| Wrapper<C> | An object of this type manages the life cycle of one or more subcomponents
of the GrInVin system, of type |
Class Summary | |
| DefaultWindowWrapper<W,extends,Window> | Common super class of all wrappers that manage a single window of type W. |
| EditorWindowWrapper | Wrapper for the EditorWindow |
| GrinvinWindowWrapper | Wrapper for the main GrInvIn window. |
| LoggingWindowWrapper | Window wrapper for the factory window. |
| WindowSubsystem | |
| WorksheetWindowWrapper | Wrapper for the conjecturing window. |
| Workspace | Handles session persistence. |
| WorkspaceException | Indicates that something went wrong while loading or saving a workspace |