protected void processWindowEvent(WindowEvent evt_) {
if (_windowListeners == null) return;
Enumeration<WindowListener> e = _windowListeners.elements();
while (e.hasMoreElements()) {
WindowListener wl = (WindowListener) e.nextElement();
switch (evt_.getID()) {
case AWTEvent.WINDOW_CLOSING:
wl.windowClosing(evt_);
break;
case AWTEvent.WINDOW_OPENED:
wl.windowOpened(evt_);
break;
}
}
}