String noWordSep = (String)view.getBuffer().getProperty("noWordSep");
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		JEditTextArea textArea = view.getTextArea();		if(!textArea.isEditable())		{			view.getToolkit().beep();			return;		}		String noWordSep = (String)view.getBuffer().getProperty("noWordSep");		String str = evt.getActionCommand();		char ch = str.charAt(0);		if(Abbrevs.getExpandOnInput() && !Character.isLetterOrDigit(ch)			&& (noWordSep == null || noWordSep.indexOf(ch) == -1))		{			// non-word char entered			// try to expand the abbrev first			Abbrevs.expandAbbrev(view,false);		}		int repeatCount = view.getInputHandler().getRepeatCount();		StringBuffer buf = new StringBuffer();		for(int i = 0; i < repeatCount; i++)			buf.append(str);		textArea.overwriteSetSelectedText(buf.toString());	}