151152153154155156157158159160161
frame.setVisible(true); frame.addWindowListener( new WindowAdapter() { public void windowClosing (WindowEvent e) { frame.setVisible(false); // hide the Frame frame.dispose(); System.exit(0); } } ); if (verbose) System.out.println(t.toStringList());
5859606162636465666768
frame.setVisible(true); frame.addWindowListener( new WindowAdapter() { public void windowClosing (WindowEvent e) { frame.setVisible(true); // hide the Frame frame.dispose(); System.exit(0); } } ); }