Package org.grinvin.workspace

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