pipe.gui
Class GuiFrame.WindowHandler

java.lang.Object
  extended byjava.awt.event.WindowAdapter
      extended bypipe.gui.GuiFrame.WindowHandler
All Implemented Interfaces:
java.util.EventListener, java.awt.event.WindowFocusListener, java.awt.event.WindowListener, java.awt.event.WindowStateListener
Enclosing class:
GuiFrame

class GuiFrame.WindowHandler
extends java.awt.event.WindowAdapter


Constructor Summary
(package private) GuiFrame.WindowHandler()
           
 
Method Summary
 void windowClosing(java.awt.event.WindowEvent e)
           
 
Methods inherited from class java.awt.event.WindowAdapter
windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowGainedFocus, windowIconified, windowLostFocus, windowOpened, windowStateChanged
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GuiFrame.WindowHandler

GuiFrame.WindowHandler()
Method Detail

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)