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");
boolean newShowHiddenFiles = jEdit.getBooleanProperty("vfs.browser.showHiddenFiles"); boolean newSortFiles = jEdit.getBooleanProperty("vfs.browser.sortFiles"); boolean newSortMixFilesAndDirs = jEdit.getBooleanProperty("vfs.browser.sortMixFilesAndDirs"); boolean newSortIgnoreCase = jEdit.getBooleanProperty("vfs.browser.sortIgnoreCase"); boolean newDoubleClickClose = jEdit.getBooleanProperty("vfs.browser.doubleClickClose");  boolean reload = false;  if(newShowHiddenFiles != showHiddenFiles) { showHiddenFiles = newShowHiddenFiles; reload = true; }  if(newSortFiles != sortFiles) { sortFiles = newSortFiles; reload = true; }  if(newSortMixFilesAndDirs != sortMixFilesAndDirs) { sortMixFilesAndDirs = newSortMixFilesAndDirs; reload = true; }  if(newSortIgnoreCase != sortIgnoreCase) { sortIgnoreCase = newSortIgnoreCase; reload = true; }  if(newDoubleClickClose != doubleClickClose) { doubleClickClose = newDoubleClickClose; reload = true; }
	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));	}