/**
* Cleans up the application (possibly asking the user if they want to save their changes) and
* then exits it.
*/
public void close() {
// do some cleaning up.
System.err.println("cleaning up before closing...");
editorPanel.clean();
// terminate.
System.exit(0);
}
