/// <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;
}
}