setBrowserView(new BrowserTreeView(this)); else setBrowserView(new BrowserListView(this));
{ if(reload || !(browserView instanceof BrowserTreeView)) setBrowserView(new BrowserTreeView(this)); } else if(defaultView.equals("list")) { if(reload || !(browserView instanceof BrowserListView)) setBrowserView(new BrowserListView(this)); }
	private void propertiesChanged()	{		showHiddenFiles = jEdit.getBooleanProperty("vfs.browser.showHiddenFiles");		sortFiles = jEdit.getBooleanProperty("vfs.browser.sortFiles");		sortMixFilesAndDirs = jEdit.getBooleanProperty("vfs.browser.sortMixFilesAndDirs");		sortIgnoreCase = jEdit.getBooleanProperty("vfs.browser.sortIgnoreCase");		doubleClickClose = jEdit.getBooleanProperty("vfs.browser.doubleClickClose");		String defaultView = jEdit.getProperty("vfs.browser.defaultView");		if(defaultView.equals("tree"))			setBrowserView(new BrowserTreeView(this));		else // default			setBrowserView(new BrowserListView(this));	}