textField.setText(null);
	private void doIncrementalSearch(int start)	{		String text = textField.getText();		if(text.length() != 0)		{			textField.addCurrentToHistory();			textField.setText(null);			SearchAndReplace.setSearchString(text);			try			{				if(SearchAndReplace.find(view,view.getBuffer(),start))					return;			}			catch(BadLocationException bl)			{				Log.log(Log.ERROR,this,bl);			}			catch(Exception ia)			{				// invalid regexp, ignore			}			getToolkit().beep();		}	}