/// <summary> /// Save the current user profile settings into the /// corresponding property of the SettingsManager. /// </summary> /// <param name="settingsManager"></param> /// <param name="vm"></param> public static void SaveSettings(ISettingsManager settingsManager, IExplorer vm) { var settings = vm.GetExplorerSettings(settingsManager.SettingData.ExplorerSettings); if (settings != null) // Explorer settings have changed { settingsManager.SettingData.IsDirty = true; settingsManager.SettingData.ExplorerSettings = settings; settingsManager.SessionData.LastActiveExplorer = settings.UserProfile; } else { settingsManager.SessionData.LastActiveExplorer = vm.GetExplorerSettings(null).UserProfile; } }