if(mode == BROWSER) { jEdit.setProperty("vfs.browser.last-filter", filterField.getText()); }
	public void removeNotify()	{		super.removeNotify();		jEdit.setBooleanProperty("vfs.browser.filter-enabled",			filterCheckbox.isSelected());		EditBus.removeFromBus(this);	}