else if(doubleClickClose) { jEdit.closeBuffer(view,buffer); break; }
	void filesActivated()	{		VFS.DirectoryEntry[] selectedFiles = browserView.getSelectedFiles();		for(int i = 0; i < selectedFiles.length; i++)		{			VFS.DirectoryEntry file = selectedFiles[i];			if(file.type == VFS.DirectoryEntry.DIRECTORY				|| file.type == VFS.DirectoryEntry.FILESYSTEM)				setDirectory(file.path);			else if(mode == BROWSER)			{				Buffer buffer = jEdit.getBuffer(file.path);				if(buffer == null)					buffer = jEdit.openFile(null,file.path);				if(buffer != null)				{					if(view == null)						view = jEdit.newView(null,buffer);					else						view.setBuffer(buffer);				}			}			else			{				// if a file is selected in OPEN_DIALOG or				// SAVE_DIALOG mode, just let the listener(s)				// handle it			}		}		Object[] listeners = listenerList.getListenerList();		for(int i = 0; i < listeners.length; i++)		{			if(listeners[i] == BrowserListener.class)			{				BrowserListener l = (BrowserListener)listeners[i+1];				l.filesActivated(this,selectedFiles);			}		}	}