textArea.overwriteSetSelectedText(buf.toString());
textArea.setSelectedText(buf.toString());
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		JEditTextArea textArea = view.getTextArea();		if(!textArea.isEditable())		{			view.getToolkit().beep();			return;		}		String str = evt.getActionCommand();		if(str == null)		{			view.getCommandLine().promptOneChar(jEdit.getProperty(				"view.status.insert-literal"),this);			return;		}		else		{			int repeatCount = view.getInputHandler().getRepeatCount();			StringBuffer buf = new StringBuffer();			for(int i = 0; i < repeatCount; i++)				buf.append(str);			textArea.overwriteSetSelectedText(buf.toString());		}	}