private void restoreToGlobal() {
		// We should no longer use document settings because the user explicitly said Restore to Global to them.
		docSettings.syncToGlobal();
		updateGUI();
		docSettings.restoreTemporaryToCurrent();
		docSettings.setUseDocumentSettings(false);
		hide();
	}