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