2023-02-24 13:30:30 +00: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;
|
2024-10-17 05:14:57 -04:00
|
|
|
|
|
2024-04-02 01:09:47 +02:00
|
|
|
|
using Settings.UI.Library.Attributes;
|
2023-02-24 13:30:30 +00:00
|
|
|
|
|
|
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
|
|
|
|
|
{
|
|
|
|
|
|
public class MouseJumpProperties
|
|
|
|
|
|
{
|
2024-04-02 01:09:47 +02:00
|
|
|
|
[CmdConfigureIgnore]
|
2023-06-20 15:42:04 +02:00
|
|
|
|
public HotkeySettings DefaultActivationShortcut => new HotkeySettings(true, false, false, true, 0x44);
|
|
|
|
|
|
|
2023-02-24 13:30:30 +00:00
|
|
|
|
[JsonPropertyName("activation_shortcut")]
|
|
|
|
|
|
public HotkeySettings ActivationShortcut { get; set; }
|
|
|
|
|
|
|
2023-04-24 16:15:07 +01:00
|
|
|
|
[JsonPropertyName("thumbnail_size")]
|
|
|
|
|
|
public MouseJumpThumbnailSize ThumbnailSize { get; set; }
|
|
|
|
|
|
|
2023-02-24 13:30:30 +00:00
|
|
|
|
public MouseJumpProperties()
|
|
|
|
|
|
{
|
2023-06-20 15:42:04 +02:00
|
|
|
|
ActivationShortcut = DefaultActivationShortcut;
|
2023-04-24 16:15:07 +01:00
|
|
|
|
ThumbnailSize = new MouseJumpThumbnailSize();
|
2023-02-24 13:30:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|