}
+ /**
+ * Handle window close.
+ */
+ @Override
+ public void onClose() {
+ emulator.close();
+ if (shell != null) {
+ terminateShellChildProcess();
+ shell.destroy();
+ shell = null;
+ }
+ }
+
/**
* Handle window/screen resize events.
*
} // synchronized (emulator)
}
- /**
- * Handle window close.
- */
- @Override
- public void onClose() {
- emulator.close();
- if (shell != null) {
- terminateShellChildProcess();
- shell.destroy();
- shell = null;
- }
- }
-
/**
* Handle keystrokes.
*