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

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

All Implemented Interfaces:

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

Enclosing class:

JWindow2

class JWindow2.SymWindow

extends java.awt.event.WindowAdapter

Constructor Summary

(package private)

JWindow2.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

JWindow2.SymWindow

JWindow2.SymWindow()

Method Detail

windowClosing

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

Overrides:

windowClosing in class java.awt.event.WindowAdapter