cz.cuni.jagrlib
Class DefaultGraphicsViewer.LocalWindowListener
java.lang.Object
java.awt.event.WindowAdapter
cz.cuni.jagrlib.DefaultGraphicsViewer.LocalWindowListener
- All Implemented Interfaces:
- WindowFocusListener, WindowListener, WindowStateListener, EventListener
- Enclosing class:
- DefaultGraphicsViewer
protected class DefaultGraphicsViewer.LocalWindowListener
- extends WindowAdapter
Inner class responsible for window-close event handling (by user interaction).
- Since:
- 0.13
- Version:
- 0.25 $Rev: 451 $ $Date: 2007-05-09 12:33:35 +0200 (st, 09 V 2007) $ $Author: pepca $
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DefaultGraphicsViewer.LocalWindowListener
protected DefaultGraphicsViewer.LocalWindowListener()
windowClosing
public void windowClosing(WindowEvent e)
- Close-window event handler.
- Specified by:
windowClosing
in interface WindowListener
- Overrides:
windowClosing
in class WindowAdapter