2020-08-18 01:00:56 +08:00
|
|
|
|
// Copyright (c) Microsoft Corporation
|
|
|
|
|
// The Microsoft Corporation licenses this file to you under the MIT license.
|
|
|
|
|
// See the LICENSE file in the project root for more information.
|
|
|
|
|
|
2020-10-20 04:32:05 +08:00
|
|
|
|
using System;
|
2021-02-10 21:12:42 +08:00
|
|
|
|
using System.Collections.Generic;
|
2020-08-18 01:00:56 +08:00
|
|
|
|
using System.Text.Json;
|
|
|
|
|
using System.Text.Json.Serialization;
|
2020-10-23 00:45:48 +08:00
|
|
|
|
using Microsoft.PowerToys.Settings.UI.Library.Interfaces;
|
2020-08-18 01:00:56 +08:00
|
|
|
|
|
2020-10-23 00:45:48 +08:00
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
2020-08-18 01:00:56 +08:00
|
|
|
|
{
|
2020-09-24 04:20:32 +08:00
|
|
|
|
public class PowerLauncherSettings : BasePTModuleSettings, ISettingsConfig
|
2020-08-18 01:00:56 +08:00
|
|
|
|
{
|
|
|
|
|
public const string ModuleName = "PowerToys Run";
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("properties")]
|
|
|
|
|
public PowerLauncherProperties Properties { get; set; }
|
|
|
|
|
|
2021-02-10 21:12:42 +08:00
|
|
|
|
[JsonPropertyName("plugins")]
|
2021-02-26 19:21:58 +08:00
|
|
|
|
public IEnumerable<PowerLauncherPluginSettings> Plugins { get; set; } = new List<PowerLauncherPluginSettings>();
|
2021-02-10 21:12:42 +08:00
|
|
|
|
|
2020-08-18 01:00:56 +08:00
|
|
|
|
public PowerLauncherSettings()
|
|
|
|
|
{
|
|
|
|
|
Properties = new PowerLauncherProperties();
|
2020-09-09 01:04:17 +08:00
|
|
|
|
Version = "1.0";
|
2020-08-18 01:00:56 +08:00
|
|
|
|
Name = ModuleName;
|
|
|
|
|
}
|
|
|
|
|
|
2020-09-22 01:14:44 +08:00
|
|
|
|
public virtual void Save(ISettingsUtils settingsUtils)
|
2020-08-18 01:00:56 +08:00
|
|
|
|
{
|
|
|
|
|
// Save settings to file
|
|
|
|
|
var options = new JsonSerializerOptions
|
|
|
|
|
{
|
|
|
|
|
WriteIndented = true,
|
|
|
|
|
};
|
|
|
|
|
|
2020-10-20 04:32:05 +08:00
|
|
|
|
if (settingsUtils == null)
|
|
|
|
|
{
|
|
|
|
|
throw new ArgumentNullException(nameof(settingsUtils));
|
|
|
|
|
}
|
|
|
|
|
|
2020-09-22 01:14:44 +08:00
|
|
|
|
settingsUtils.SaveSettings(JsonSerializer.Serialize(this, options), ModuleName);
|
2020-08-18 01:00:56 +08:00
|
|
|
|
}
|
2020-09-24 04:20:32 +08:00
|
|
|
|
|
|
|
|
|
public string GetModuleName()
|
|
|
|
|
{
|
|
|
|
|
return Name;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// This can be utilized in the future if the settings.json file is to be modified/deleted.
|
|
|
|
|
public bool UpgradeSettingsConfiguration()
|
|
|
|
|
{
|
|
|
|
|
return false;
|
|
|
|
|
}
|
2020-08-18 01:00:56 +08:00
|
|
|
|
}
|
|
|
|
|
}
|