dispose(); view.processKeyEvent(evt);
else { dispose(); view.processKeyEvent(evt); }
		public void keyTyped(KeyEvent evt)		{			char ch = evt.getKeyChar();			if(ch == KeyEvent.CHAR_UNDEFINED ||				ch < 0x20 || ch == 0x7f				|| (evt.getModifiers() & KeyEvent.ALT_MASK) != 0)				return;			dispose();			view.processKeyEvent(evt);		}