2020-04-20 06:03:26 -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.
|
|
|
|
|
|
|
|
|
|
|
|
using System.Text.Json.Serialization;
|
|
|
|
|
|
|
2020-10-22 09:45:48 -07:00
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
2020-04-20 06:03:26 -07:00
|
|
|
|
{
|
|
|
|
|
|
public class ShortcutGuideProperties
|
|
|
|
|
|
{
|
|
|
|
|
|
public ShortcutGuideProperties()
|
|
|
|
|
|
{
|
2020-05-08 08:22:57 -07:00
|
|
|
|
OverlayOpacity = new IntProperty(90);
|
2021-09-23 14:23:22 +01:00
|
|
|
|
UseLegacyPressWinKeyBehavior = new BoolProperty(false);
|
2022-11-18 22:22:40 +08:00
|
|
|
|
PressTimeForGlobalWindowsShortcuts = new IntProperty(900);
|
|
|
|
|
|
PressTimeForTaskbarIconShortcuts = new IntProperty(900);
|
2020-09-28 12:44:18 -07:00
|
|
|
|
Theme = new StringProperty("system");
|
2021-04-02 16:29:48 +02:00
|
|
|
|
DisabledApps = new StringProperty();
|
2021-05-20 15:07:34 +03:00
|
|
|
|
OpenShortcutGuide = new HotkeySettings(true, false, false, true, 0xBF);
|
2020-04-20 06:03:26 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
2021-05-20 15:07:34 +03:00
|
|
|
|
[JsonPropertyName("open_shortcutguide")]
|
|
|
|
|
|
public HotkeySettings OpenShortcutGuide { get; set; }
|
|
|
|
|
|
|
2020-04-20 06:03:26 -07:00
|
|
|
|
[JsonPropertyName("overlay_opacity")]
|
|
|
|
|
|
public IntProperty OverlayOpacity { get; set; }
|
|
|
|
|
|
|
2021-09-23 14:23:22 +01:00
|
|
|
|
[JsonPropertyName("use_legacy_press_win_key_behavior")]
|
|
|
|
|
|
public BoolProperty UseLegacyPressWinKeyBehavior { get; set; }
|
|
|
|
|
|
|
2020-04-20 06:03:26 -07:00
|
|
|
|
[JsonPropertyName("press_time")]
|
2022-11-18 22:22:40 +08:00
|
|
|
|
public IntProperty PressTimeForGlobalWindowsShortcuts { get; set; }
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("press_time_for_taskbar_icon_shortcuts")]
|
|
|
|
|
|
public IntProperty PressTimeForTaskbarIconShortcuts { get; set; }
|
2020-04-20 06:03:26 -07:00
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("theme")]
|
|
|
|
|
|
public StringProperty Theme { get; set; }
|
2021-04-02 16:29:48 +02:00
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("disabled_apps")]
|
|
|
|
|
|
public StringProperty DisabledApps { get; set; }
|
2020-04-20 06:03:26 -07:00
|
|
|
|
}
|
|
|
|
|
|
}
|