Method keyTyped

platform/java/example/Viewer.java:231–234

(KeyEvent e)

		public void keyReleased(KeyEvent e) { }

		public void keyTyped(KeyEvent e) {
			if (e.getKeyChar() == '\u001b')
				dispose();
		}
	}

	public void exception(Throwable t) {