screen.frame.addMouseWheelListener(this);
}
- /**
- * Restore terminal to normal state.
- */
- public void shutdown() {
- // System.err.println("=== shutdown() ==="); System.err.flush();
- screen.frame.dispose();
- }
-
/**
* Return any events in the IO queue.
*