jEdit.setProperty("search.find.value",selection);
jEdit.setProperty("history.find.0",selection);
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		String selection = view.getTextArea()			.getSelectedText();		if(selection != null)		{			jEdit.setProperty("search.find.value",selection);			buffer.find(view,false);		}		else			view.getToolkit().beep();	}