if(buffer == null) return;
		public void valueChanged(ListSelectionEvent evt)		{			if(results.isSelectionEmpty() || evt.getValueIsAdjusting())				return;			SearchResult result = (SearchResult)results.getSelectedValue();			final Buffer buffer = result.getBuffer();			final int pos = result.linePos.getOffset();			VFSManager.runInAWTThread(new Runnable()			{				public void run()				{					view.setBuffer(buffer);					view.getTextArea().setCaretPosition(pos);				}			});		}