observer.gui

Class ObserverGui.WindowCloseManager

java.lang.Object

java.awt.event.WindowAdapter

observer.gui.ObserverGui.WindowCloseManager

All Implemented Interfaces:

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

Enclosing class:

ObserverGui

private static class ObserverGui.WindowCloseManager
extends java.awt.event.WindowAdapter

Constructor Summary

Constructors

Modifier	Constructor and Description
private	WindowCloseManager()

Method Summary

Modifier and Type	Method and Description
void	windowClosing(java.awt.event.WindowEvent evt)

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

WindowCloseManager

private WindowCloseManager()

Method Detail

windowClosing

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

Specified by:

windowClosing in interface java.awt.event.WindowListener

Overrides:

windowClosing in class java.awt.event.WindowAdapter