/ src / settings-ui / Settings.UI.Library / MouseJumpProperties.cs
MouseJumpProperties.cs
  1  // Copyright (c) Microsoft Corporation
  2  // The Microsoft Corporation licenses this file to you under the MIT license.
  3  // See the LICENSE file in the project root for more information.
  4  
  5  using System.Text.Json.Serialization;
  6  
  7  using Settings.UI.Library.Attributes;
  8  
  9  namespace Microsoft.PowerToys.Settings.UI.Library
 10  {
 11      public class MouseJumpProperties
 12      {
 13          [CmdConfigureIgnore]
 14          public HotkeySettings DefaultActivationShortcut => new HotkeySettings(true, false, false, true, 0x44);
 15  
 16          [JsonPropertyName("activation_shortcut")]
 17          public HotkeySettings ActivationShortcut
 18          {
 19              get;
 20              set;
 21          }
 22  
 23          [JsonPropertyName("thumbnail_size")]
 24          public MouseJumpThumbnailSize ThumbnailSize
 25          {
 26              get;
 27              set;
 28          }
 29  
 30          /// <summary>
 31          /// Gets or sets the preview type.
 32          /// Allowed values are "compact", "bezelled", "custom"
 33          /// </summary>
 34          [JsonPropertyName("preview_type")]
 35          public string PreviewType
 36          {
 37              get;
 38              set;
 39          }
 40  
 41          [JsonPropertyName("background_color_1")]
 42          public string BackgroundColor1
 43          {
 44              get;
 45              set;
 46          }
 47  
 48          [JsonPropertyName("background_color_2")]
 49          public string BackgroundColor2
 50          {
 51              get;
 52              set;
 53          }
 54  
 55          [JsonPropertyName("border_thickness")]
 56          public int BorderThickness
 57          {
 58              get;
 59              set;
 60          }
 61  
 62          [JsonPropertyName("border_color")]
 63          public string BorderColor
 64          {
 65              get;
 66              set;
 67          }
 68  
 69          [JsonPropertyName("border_3d_depth")]
 70          public int Border3dDepth
 71          {
 72              get;
 73              set;
 74          }
 75  
 76          [JsonPropertyName("border_padding")]
 77          public int BorderPadding
 78          {
 79              get;
 80              set;
 81          }
 82  
 83          [JsonPropertyName("bezel_thickness")]
 84          public int BezelThickness
 85          {
 86              get;
 87              set;
 88          }
 89  
 90          [JsonPropertyName("bezel_color")]
 91          public string BezelColor
 92          {
 93              get;
 94              set;
 95          }
 96  
 97          [JsonPropertyName("bezel_3d_depth")]
 98          public int Bezel3dDepth
 99          {
100              get;
101              set;
102          }
103  
104          [JsonPropertyName("screen_margin")]
105          public int ScreenMargin
106          {
107              get;
108              set;
109          }
110  
111          [JsonPropertyName("screen_color_1")]
112          public string ScreenColor1
113          {
114              get;
115              set;
116          }
117  
118          [JsonPropertyName("screen_color_2")]
119          public string ScreenColor2
120          {
121              get;
122              set;
123          }
124  
125          public MouseJumpProperties()
126          {
127              ActivationShortcut = DefaultActivationShortcut;
128              ThumbnailSize = new MouseJumpThumbnailSize();
129          }
130      }
131  }