2020-08-17 10:00:56 -07: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-19 13:32:05 -07:00
|
|
|
|
using System;
|
2021-02-10 15:12:42 +02:00
|
|
|
|
using System.Collections.Generic;
|
2020-08-17 10:00:56 -07:00
|
|
|
|
using System.Text.Json;
|
|
|
|
|
|
using System.Text.Json.Serialization;
|
2024-10-17 05:14:57 -04:00
|
|
|
|
|
2020-10-22 09:45:48 -07:00
|
|
|
|
using Microsoft.PowerToys.Settings.UI.Library.Interfaces;
|
2020-08-17 10:00:56 -07:00
|
|
|
|
|
2020-10-22 09:45:48 -07:00
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
2020-08-17 10:00:56 -07:00
|
|
|
|
{
|
2020-09-23 13:20:32 -07:00
|
|
|
|
public class PowerLauncherSettings : BasePTModuleSettings, ISettingsConfig
|
2020-08-17 10:00:56 -07:00
|
|
|
|
{
|
|
|
|
|
|
public const string ModuleName = "PowerToys Run";
|
|
|
|
|
|
|
2023-12-28 13:37:13 +03:00
|
|
|
|
private static readonly JsonSerializerOptions _serializerOptions = new JsonSerializerOptions
|
|
|
|
|
|
{
|
|
|
|
|
|
WriteIndented = true,
|
|
|
|
|
|
DefaultIgnoreCondition = JsonIgnoreCondition.WhenWritingNull,
|
|
|
|
|
|
};
|
|
|
|
|
|
|
2020-08-17 10:00:56 -07:00
|
|
|
|
[JsonPropertyName("properties")]
|
|
|
|
|
|
public PowerLauncherProperties Properties { get; set; }
|
|
|
|
|
|
|
2021-02-10 15:12:42 +02:00
|
|
|
|
[JsonPropertyName("plugins")]
|
2021-02-26 13:21:58 +02:00
|
|
|
|
public IEnumerable<PowerLauncherPluginSettings> Plugins { get; set; } = new List<PowerLauncherPluginSettings>();
|
2021-02-10 15:12:42 +02:00
|
|
|
|
|
2020-08-17 10:00:56 -07:00
|
|
|
|
public PowerLauncherSettings()
|
|
|
|
|
|
{
|
|
|
|
|
|
Properties = new PowerLauncherProperties();
|
2020-09-08 10:04:17 -07:00
|
|
|
|
Version = "1.0";
|
2020-08-17 10:00:56 -07:00
|
|
|
|
Name = ModuleName;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2020-09-21 10:14:44 -07:00
|
|
|
|
public virtual void Save(ISettingsUtils settingsUtils)
|
2020-08-17 10:00:56 -07:00
|
|
|
|
{
|
|
|
|
|
|
// Save settings to file
|
2023-12-28 13:37:13 +03:00
|
|
|
|
var options = _serializerOptions;
|
2020-08-17 10:00:56 -07:00
|
|
|
|
|
2023-11-22 12:46:59 -05:00
|
|
|
|
ArgumentNullException.ThrowIfNull(settingsUtils);
|
2020-10-19 13:32:05 -07:00
|
|
|
|
|
2020-09-21 10:14:44 -07:00
|
|
|
|
settingsUtils.SaveSettings(JsonSerializer.Serialize(this, options), ModuleName);
|
2020-08-17 10:00:56 -07:00
|
|
|
|
}
|
2020-09-23 13:20:32 -07: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-17 10:00:56 -07:00
|
|
|
|
}
|
|
|
|
|
|
}
|