sandmark.util
Class GraphViewer$1

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--sandmark.util.GraphViewer$1

All Implemented Interfaces:

java.util.EventListener, java.awt.event.WindowFocusListener, java.awt.event.WindowListener, java.awt.event.WindowStateListener

final synchronized class GraphViewer$1

extends java.awt.event.WindowAdapter

Method Summary

void	windowClosing(java.awt.event.WindowEvent)

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

Method Detail

windowClosing

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

Specified by:

windowClosing in interface java.awt.event.WindowListener

Overrides:

windowClosing in class java.awt.event.WindowAdapter