dockableWindowManager.propertiesChanged();
	private void propertiesChanged()	{		loadToolBars();		showFullPath = jEdit.getBooleanProperty("view.showFullPath");		checkModStatus = jEdit.getBooleanProperty("view.checkModStatus");		updateTitle();		updateRecentMenu();	}