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")]
|
2024-11-26 15:37:59 +00:00
|
|
|
|
public HotkeySettings ActivationShortcut
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
2023-02-24 13:30:30 +00:00
|
|
|
|
|
2023-04-24 16:15:07 +01:00
|
|
|
|
[JsonPropertyName("thumbnail_size")]
|
2024-11-26 15:37:59 +00:00
|
|
|
|
public MouseJumpThumbnailSize ThumbnailSize
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
|
/// Gets or sets the preview type.
|
|
|
|
|
|
/// Allowed values are "compact", "bezelled", "custom"
|
|
|
|
|
|
/// </summary>
|
|
|
|
|
|
[JsonPropertyName("preview_type")]
|
|
|
|
|
|
public string PreviewType
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("background_color_1")]
|
|
|
|
|
|
public string BackgroundColor1
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("background_color_2")]
|
|
|
|
|
|
public string BackgroundColor2
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("border_thickness")]
|
|
|
|
|
|
public int BorderThickness
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("border_color")]
|
|
|
|
|
|
public string BorderColor
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("border_3d_depth")]
|
|
|
|
|
|
public int Border3dDepth
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("border_padding")]
|
|
|
|
|
|
public int BorderPadding
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("bezel_thickness")]
|
|
|
|
|
|
public int BezelThickness
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("bezel_color")]
|
|
|
|
|
|
public string BezelColor
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("bezel_3d_depth")]
|
|
|
|
|
|
public int Bezel3dDepth
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("screen_margin")]
|
|
|
|
|
|
public int ScreenMargin
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("screen_color_1")]
|
|
|
|
|
|
public string ScreenColor1
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
[JsonPropertyName("screen_color_2")]
|
|
|
|
|
|
public string ScreenColor2
|
|
|
|
|
|
{
|
|
|
|
|
|
get;
|
|
|
|
|
|
set;
|
|
|
|
|
|
}
|
2023-04-24 16:15:07 +01:00
|
|
|
|
|
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
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|