Hosts file editor (#20462)

This commit is contained in:
Davide Giacometti
2022-10-13 13:05:43 +02:00
committed by GitHub
parent ab41b61e84
commit b2e1337d4e
67 changed files with 3858 additions and 13 deletions

View File

@@ -287,6 +287,22 @@ namespace Microsoft.PowerToys.Settings.UI.Library
}
}
private bool hosts = true;
[JsonPropertyName("Hosts")]
public bool Hosts
{
get => hosts;
set
{
if (hosts != value)
{
LogTelemetryEvent(value);
hosts = value;
}
}
}
public string ToJsonString()
{
return JsonSerializer.Serialize(this);