edu.wpi.cs.DSRG.xmldb.RainbowGUI
Class WorkFrame.SymWindow

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--edu.wpi.cs.DSRG.xmldb.RainbowGUI.WorkFrame.SymWindow

All Implemented Interfaces:

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

Enclosing class:

WorkFrame

class WorkFrame.SymWindow

extends java.awt.event.WindowAdapter

Constructor Summary

(package private)

WorkFrame.SymWindow()

Method Summary

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

Methods inherited from class java.awt.event.WindowAdapter

windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowIconified, windowOpened

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Constructor Detail

WorkFrame.SymWindow

WorkFrame.SymWindow()

Method Detail

windowClosing

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

Overrides:

windowClosing in class java.awt.event.WindowAdapter