- /**
- * Sync the logical screen to the physical device.
- */
- @Override
- public void flushScreen() {
- screen.flushPhysical();
- }
-
- /**
- * Get keyboard, mouse, and screen resize events.
- *
- * @param queue list to append new events to
- */
- @Override
- public void getEvents(final List<TInputEvent> queue) {
- if (terminal.hasEvents()) {
- terminal.getEvents(queue);
- }
- }
-
- /**
- * Close the I/O, restore the console, etc.
- */
- @Override
- public void shutdown() {
- terminal.closeTerminal();
- }
-
- /**
- * Set the window title.
- *
- * @param title the new title
- */
- @Override
- public void setTitle(final String title) {
- screen.setTitle(title);
- }
-