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);
}