2020-04-08 01:19:14 +08: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;
|
2020-04-17 02:45:27 +08:00
|
|
|
|
using System.Text.Json.Serialization;
|
2020-04-08 01:19:14 +08:00
|
|
|
|
|
2020-10-23 00:45:48 +08:00
|
|
|
|
namespace Microsoft.PowerToys.Settings.UI.Library
|
2020-04-08 01:19:14 +08:00
|
|
|
|
{
|
|
|
|
|
// Represents the configuration property of the settings that store Integer type.
|
|
|
|
|
public class IntProperty
|
|
|
|
|
{
|
2020-04-17 02:45:27 +08:00
|
|
|
|
public IntProperty()
|
|
|
|
|
{
|
2020-08-20 06:59:10 +08:00
|
|
|
|
Value = 0;
|
2020-04-17 02:45:27 +08:00
|
|
|
|
}
|
|
|
|
|
|
2020-04-27 08:34:03 +08:00
|
|
|
|
public IntProperty(int value)
|
|
|
|
|
{
|
|
|
|
|
Value = value;
|
|
|
|
|
}
|
|
|
|
|
|
2020-04-08 01:19:14 +08:00
|
|
|
|
// Gets or sets the integer value of the settings configuration.
|
2020-04-17 02:45:27 +08:00
|
|
|
|
[JsonPropertyName("value")]
|
|
|
|
|
public int Value { get; set; }
|
2020-04-08 01:19:14 +08:00
|
|
|
|
|
|
|
|
|
// Returns a JSON version of the class settings configuration class.
|
|
|
|
|
public override string ToString()
|
|
|
|
|
{
|
|
|
|
|
return JsonSerializer.Serialize(this);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|