mirror of
https://github.com/microsoft/PowerToys.git
synced 2026-04-07 11:46:30 +02:00
[PowerToys Run] Plugin manager (#9872)
This commit is contained in:
@@ -18,7 +18,7 @@ namespace Microsoft.PowerToys.Settings.UI.Library
|
||||
public PowerLauncherProperties Properties { get; set; }
|
||||
|
||||
[JsonPropertyName("plugins")]
|
||||
public IEnumerable<PowerLauncherPluginSettings> Plugins { get; set; }
|
||||
public IEnumerable<PowerLauncherPluginSettings> Plugins { get; set; } = new List<PowerLauncherPluginSettings>();
|
||||
|
||||
public PowerLauncherSettings()
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user