mirror of
https://github.com/microsoft/PowerToys.git
synced 2024-12-25 01:27:59 +08:00
fda75e48d5
* [Mouse Jump] - reorganise existing NativeMethods (#25482) * Mouse Jump] - reorganise Helper classes / main form code (#25482) * Mouse Jump] - replace use of System.Windows.Forms.Screen with Native Methods (#25482) * Mouse Jump] - replace use of System.Windows.Forms.SystemInformation with Native Methods (#25482) * [Mouse Jump] - replace use of System.Windows.Forms.Cursor with Native Methods (#25482) * [Mouse Jump] - improve popup responsiveness (#25484) * [Mouse Jump] - fixed spellchecker errors (#25484) * [Mouse Jump] - add settings card for thumbnail size (#24564) * [Mouse Jump] - shortcut keys to jump to centres of screens (#25069) * [Mouse Jump] - fix spelling (#25069) * [Mouse Jump] - fix spelling - numpad (#25069) * [Mouse Jump] - updated "thumbnail size" settings text (#24564)
69 lines
1.7 KiB
C#
69 lines
1.7 KiB
C#
// 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;
|
|
using System.ComponentModel;
|
|
using System.Runtime.CompilerServices;
|
|
using System.Text.Json.Serialization;
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
|
{
|
|
public class MouseJumpThumbnailSize : INotifyPropertyChanged
|
|
{
|
|
private int _width;
|
|
private int _height;
|
|
|
|
[JsonPropertyName("width")]
|
|
public int Width
|
|
{
|
|
get
|
|
{
|
|
return _width;
|
|
}
|
|
|
|
set
|
|
{
|
|
var newWidth = Math.Max(0, value);
|
|
if (newWidth != _width)
|
|
{
|
|
_width = newWidth;
|
|
OnPropertyChanged();
|
|
}
|
|
}
|
|
}
|
|
|
|
[JsonPropertyName("height")]
|
|
public int Height
|
|
{
|
|
get
|
|
{
|
|
return _height;
|
|
}
|
|
|
|
set
|
|
{
|
|
var newHeight = Math.Max(0, value);
|
|
if (newHeight != _height)
|
|
{
|
|
_height = newHeight;
|
|
OnPropertyChanged();
|
|
}
|
|
}
|
|
}
|
|
|
|
public MouseJumpThumbnailSize()
|
|
{
|
|
Width = 1600;
|
|
Height = 1200;
|
|
}
|
|
|
|
public event PropertyChangedEventHandler PropertyChanged;
|
|
|
|
public void OnPropertyChanged([CallerMemberName] string propertyName = null)
|
|
{
|
|
PropertyChanged?.Invoke(this, new PropertyChangedEventArgs(propertyName));
|
|
}
|
|
}
|
|
}
|