viceroy.GUI
Class GraphViewer$1

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--viceroy.GUI.GraphViewer$1

All Implemented Interfaces:

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

synchronized class GraphViewer$1

extends java.awt.event.WindowAdapter

Constructor Summary

(package private)

GraphViewer$1(GraphViewer)

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

Constructor Detail

GraphViewer$1

GraphViewer$1(GraphViewer)

Method Detail

windowClosing

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

Specified by:

windowClosing in interface java.awt.event.WindowListener

Overrides:

windowClosing in class java.awt.event.WindowAdapter