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

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--edu.wpi.cs.DSRG.xmldb.RainbowGUI.JWindow1.SymWindow
All Implemented Interfaces:
java.util.EventListener, java.awt.event.WindowListener
Enclosing class:
JWindow1

class JWindow1.SymWindow
extends java.awt.event.WindowAdapter


Constructor Summary
(package private) JWindow1.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

JWindow1.SymWindow

JWindow1.SymWindow()
Method Detail

windowClosing

public void windowClosing(java.awt.event.WindowEvent event)
Overrides:
windowClosing in class java.awt.event.WindowAdapter