GLI EVENTI DI FINESTRA
Gli eventi di finestra sono gestiti dai metodi dichiarati dall'interfaccia WindowListener
public void windowClosed(WindowEvent e);
public void windowClosing(WindowEvent e);
public void windowOpened(WindowEvent e);
public void windowIconified(WindowEvent e);
public void windowDeiconified(WindowEvent e);
public void windowActivated(WindowEvent e);
public void windowDeactivated(WindowEvent e);
Il comportamento predefinito di questi metodi va già bene, tranne windowClosing(), che non fa uscire l'applicazione: nasconde solo la finestra.