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