// A listener for attempts to close the window of the WWW browser.
// Barry Cornelius, 30th January 2000
import java.awt.       Window;
import java.awt.event. WindowEvent;
import java.awt.event. WindowListener;
public class ExitOnWindowClosing implements WindowListener
{
   public void windowActivated(final WindowEvent pWindowEvent)
   {
   }
   public void windowClosed(final WindowEvent pWindowEvent)
   {
   }
   public void windowClosing(final WindowEvent pWindowEvent)
   {
      final Window tWindow = pWindowEvent.getWindow();
      tWindow.setVisible(false);
      tWindow.dispose();
      System.exit(0);
   }
   public void windowDeactivated(final WindowEvent pWindowEvent)
   {
   }
   public void windowDeiconified(final WindowEvent pWindowEvent)
   {
   }
   public void windowIconified(final WindowEvent pWindowEvent)
   {
   }
   public void windowOpened(final WindowEvent pWindowEvent)
   {
   }
}