{ Hashtable props = new Hashtable(); props.put(Buffer.VFS_SESSION_HACK,vfsSession); buffer = jEdit.openFile(null,null,file.path, false,false,props); }
buffer = jEdit.openFile(null,file.path);
	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)				{					Hashtable props = new Hashtable();					props.put(Buffer.VFS_SESSION_HACK,vfsSession);					buffer = jEdit.openFile(null,null,file.path,						false,false,props);				}				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);			}		}	}