buf.append(ch);  view.getTextArea().userInput(buf.toString());
view.getTextArea().userInput(ch);
	protected void userInput(char ch)	{		lastAction = null;		if(readNextChar != null)			invokeReadNextChar(ch);		else		{			StringBuffer buf = new StringBuffer();			int _repeatCount = getRepeatCount();			for(int i = 0; i < _repeatCount; i++)				buf.append(ch);			view.getTextArea().userInput(buf.toString());			Macros.Recorder recorder = view.getMacroRecorder();			if(recorder != null)				recorder.record(_repeatCount,ch);		}		setRepeatEnabled(false);	}