jEdit.removeEditorListener(editorListener);
EditBus.removeFromBus(this);
	public void dispose()	{		jEdit.removeEditorListener(editorListener);		GUIUtilities.saveGeometry(this,"hypersearch");		super.dispose();	}