view.toFront(); view.requestFocus();
		public void mouseClicked(MouseEvent evt)		{			int index = results.locationToIndex(evt.getPoint());			if(index == -1)				return;			final SearchResult result = (SearchResult)resultModel				.getElementAt(index);			final Buffer buffer = result.getBuffer();			if(buffer == null)				return;			VFSManager.runInAWTThread(new Runnable()			{				public void run()				{					int pos = result.linePos.getOffset();					view.setBuffer(buffer);					view.getTextArea().setCaretPosition(pos);				}			});		}