FileDocCategorySizeDatePackage
BasicWindowMonitor.javaAPI DocExample250Sun Aug 23 19:44:02 BST 1998None

BasicWindowMonitor

public class BasicWindowMonitor extends WindowAdapter

Fields Summary
Constructors Summary
Methods Summary
public voidwindowClosing(java.awt.event.WindowEvent e)

    Window w = e.getWindow();
    w.setVisible(false);
    w.dispose();
    System.exit(0);