InputHandler input = view.getInputHandler();
		void handleDigit(KeyEvent evt)		{			InputHandler input = view.getInputHandler();			savedRepeatCount *= 10;			savedRepeatCount += (evt.getKeyChar() - '0');			// in case we're in TOPLEVEL			setState(REPEAT_STATE);			// insert number into text field			super.processKeyEvent(evt);		}