Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
WorkspaceListener | Interface that all elements that listen to Workspace s 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 |