cz.cuni.jagrlib
Class DefaultGraphicsViewer.LocalWindowListener

java.lang.Object
  extended by java.awt.event.WindowAdapter
      extended by cz.cuni.jagrlib.DefaultGraphicsViewer.LocalWindowListener
All Implemented Interfaces:
java.awt.event.WindowFocusListener, java.awt.event.WindowListener, java.awt.event.WindowStateListener, java.util.EventListener
Enclosing class:
DefaultGraphicsViewer

protected class DefaultGraphicsViewer.LocalWindowListener
extends java.awt.event.WindowAdapter

Inner class responsible for window-close event handling (by user interaction).

Since:
0.13

Constructor Summary
protected DefaultGraphicsViewer.LocalWindowListener()
           
 
Method Summary
 void windowClosing(java.awt.event.WindowEvent e)
          Close-window event handler.
 
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

DefaultGraphicsViewer.LocalWindowListener

protected DefaultGraphicsViewer.LocalWindowListener()
Method Detail

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)
Close-window event handler.

Specified by:
windowClosing in interface java.awt.event.WindowListener
Overrides:
windowClosing in class java.awt.event.WindowAdapter