SettingsSourceGenerationContextの追加

Author: Mr-Ojii

LoopMusicPlayer/DataClass/Settings.cs

@@ -3,6 +3,7 @@
 using System.IO;
 using System.Reflection.PortableExecutable;
 using System.Text.Json;
+using System.Text.Json.Serialization;
 
 namespace LoopMusicPlayer.DataClass;
 
@@ -16,7 +17,7 @@ public static Settings Load()
         {
             try
             {
-                Settings? settings = JsonSerializer.Deserialize<Settings>(File.ReadAllBytes(_settingPath));
+                Settings? settings = JsonSerializer.Deserialize<Settings>(File.ReadAllBytes(_settingPath), SettingsSourceGenerationContext.Default.Settings);
                 if (settings is not null)
                     return settings;
             }
@@ -32,7 +33,7 @@ public void Save()
     {
         try
         {
-            File.WriteAllBytes(_settingPath, JsonSerializer.SerializeToUtf8Bytes(this));
+            File.WriteAllBytes(_settingPath, JsonSerializer.SerializeToUtf8Bytes(this, SettingsSourceGenerationContext.Default.Settings));
         }
         catch (Exception e)
         {
@@ -115,3 +116,9 @@ public enum ETimeFormat
         }
     }
 }
+
+[JsonSourceGenerationOptions(WriteIndented = false)]
+[JsonSerializable(typeof(Settings))]
+internal partial class SettingsSourceGenerationContext : JsonSerializerContext
+{
+}