117118119120121122123124125126127
/* inherit description */ public ViewFrame openNew() { // setup toplevel LinkedViewFrame tvFrame = new LinkedViewFrame(this); tvFrame.addWindowListener(this); return tvFrame; } /* inherit description */
135136137138139140141142143144145
} catch (LoadException e) { tvFrame.dispose(); throw e; } tvFrame.addWindowListener(this); return tvFrame; } /** * same as above, but doesn't open a loading window (damn deadlocks!)
154155156157158159160161162163164
} catch (LoadException e) { tvFrame.dispose(); throw e; } } tvFrame.addWindowListener(this); return tvFrame; } private MainProgramArgs args; protected void standardStartup(String astring[]) { args = new MainProgramArgs(astring);