27 lines
829 B
C#
27 lines
829 B
C#
|
|
using System.Text.Json;
|
|
using System.Text.Json.Serialization;
|
|
|
|
namespace View_by_Distance.Windows.Models;
|
|
|
|
public record WindowsSettings(string Company,
|
|
string? Host,
|
|
int MaxDegreeOfParallelism,
|
|
string? Page,
|
|
string[] SidecarExtensions,
|
|
bool VerifyOnly) : Shared.Models.Properties.IWindowsSettings
|
|
{
|
|
|
|
public override string ToString()
|
|
{
|
|
string result = JsonSerializer.Serialize(this, WindowsSettingsSourceGenerationContext.Default.WindowsSettings);
|
|
return result;
|
|
}
|
|
|
|
}
|
|
|
|
[JsonSourceGenerationOptions(WriteIndented = true)]
|
|
[JsonSerializable(typeof(WindowsSettings))]
|
|
internal partial class WindowsSettingsSourceGenerationContext : JsonSerializerContext
|
|
{
|
|
} |