positions.removeAllElements();  results.setModel(new DefaultListModel());  buffer = null;
SearchResult result = (SearchResult)resultModel .elementAt(i); if(result.buffer == buffer) resultModel.removeElementAt(i);
		public void bufferClosed(EditorEvent evt)		{			if(evt.getBuffer() == buffer)			{				positions.removeAllElements();				// XXX: need empty model				results.setModel(new DefaultListModel());				// Can't give it a value in the bottom half				buffer = null;			}		}