if(path != null) reloadDirectory(false);
	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");		filterCombo.setModel(new DefaultComboBoxModel(filters));		String defaultView = jEdit.getProperty("vfs.browser.defaultView");		/* if(defaultView.equals("list"))			setBrowserView(new BrowserListView(this));		else */ if(defaultView.equals("tree"))			setBrowserView(new BrowserTreeView(this));		else // default			setBrowserView(new BrowserListView(this));		// unless we're being called from the constructor, reload		// directory so that new sorting settings take effect.		if(path != null)			reloadDirectory(false);	}