if(!view.getTextArea().isEditable()) { view.getToolkit().beep(); return; }
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		buffer.replace(view);		buffer.find(view,false);	}