Pick a file in Files to edit it here.
31 - {
32 - Directory.CreateDirectory(Dir);
33 - File.WriteAllText(SettingsPath, JsonSerializer.Serialize(new { theme = theme.ToString() }));
34 - }
28 + try { Directory.CreateDirectory(Dir); File.WriteAllText(SettingsPath, JsonSerializer.Serialize(m)); }
29 catch { }
30 }
31 +
32 + public ElementTheme LoadTheme()
33 + {
34 + var m = Read();
35 + return Enum.TryParse<ElementTheme>(m.theme, out var e) ? e : ElementTheme.Default;
36 + }
37 +
38 + public void SaveTheme(ElementTheme theme) { var m = Read(); m.theme = theme.ToString(); Write(m); }
39 +
40 + public (int W, int H)? LoadWindow()
41 + {
42 + var m = Read();
43 + return (m.winW is > 0 && m.winH is > 0) ? (m.winW.Value, m.winH.Value) : null;
44 + }
45 +
46 + public void SaveWindow(int w, int h) { var m = Read(); m.winW = w; m.winH = h; Write(m); }
47 }
* Baking… (2m 53s · ↓ 14.6k tokens)
⎿ Tip: Use /btw to ask a quick side question without interrupting Claude's current work
❯
⏵⏵ bypass permissions on (shift+tab to cycle) · esc to interrupt · ← for agents