addWindowListener(new WindowAdapter() {
@Override
public void windowClosing(WindowEvent e) {
+ stats.tell_closing();
Close();
}
});
ps.height += i.top + i.bottom;
// setPreferredSize(ps);
setSize(ps);
- setLocationByPlatform(true);
setVisible(true);
}
}
for (int i = 0; i < args.length; i++) {
- System.out.printf ("Arg %d: %s\n", i, args[i]);
if (args[i].equals("--help"))
help(0);
else if (args[i].equals("--export"))