org.grinvin.workspace
Class GrinvinWindowWrapper
- Wrapper<C>
public class GrinvinWindowWrapper
Wrapper for the main GrInvIn window.
@Override | GrinvinWindow create() - Create all top level windows
and add them to the menus of the main window.
|
@Override | GrinvinWindow load(Element element, File directory) - Load this window and all dependent windows.
|
String | getElementName() - Return the XML-element name by which this type of wrapper is identified
within its parent.
|
@Override | void dispose(GrinvinWindow window) - Dispose of this window and all dependent windows.
|
@Override | void save(GrinvinWindow window, Element parent, File directory) - Save this window and all dependent windows.
|
GrinvinWindowWrapper
public GrinvinWindowWrapper()
GrinvinWindow create
public @Override GrinvinWindow create()
Create all top level windows
and add them to the menus of the main window.
GrinvinWindow load
public @Override GrinvinWindow load(Element element,
File directory)
throws IOException
Load this window and all dependent windows.
getElementName
public String getElementName()
Return the XML-element name by which this type of wrapper is identified
within its parent.
- getElementName in interface Wrapper<C>
void dispose
public @Override void dispose(GrinvinWindow window)
Dispose of this window and all dependent windows.
void save
public @Override void save(GrinvinWindow window,
Element parent,
File directory)
throws IOException
Save this window and all dependent windows.