else if (evt_ instanceof SyncEvent) {
_term.sync();
}
else if (evt_ instanceof WindowEvent) {
WindowEvent we = (WindowEvent) evt_;
we.getWindow().processWindowEvent(we);
/*
* Now, having given the WindowListener objects a chance to process
* the WindowEvent, we must check if it was a WINDOW_CLOSING event
* sent to this window.
*/
if (we.getID() == AWTEvent.WINDOW_CLOSING) {
we.getWindow()._windowClosed = true;
/*
* Remove this window from the list of those displayed, and
* blank out the screen area where the window was displayed.
*/
_term.removeWindow(we.getWindow());
_term.blankBox(_origin, _size);
/*
* Now redraw all of the windows, from the bottom to the top.
*/