enhance: Save Preferences after switched Workspace and closed Preferences (#1073)

This commit is contained in:
Gadfly 2025-03-10 12:04:19 +08:00 committed by GitHub
parent df6cbcaa28
commit c1c0e7b2a0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions

View file

@ -525,6 +525,7 @@ namespace SourceGit.ViewModels
} }
_ignoreIndexChange = false; _ignoreIndexChange = false;
Preferences.Instance.Save();
GC.Collect(); GC.Collect();
} }

View file

@ -189,6 +189,7 @@ namespace SourceGit.Views
new Commands.Config(null).Set($"gpg.{GPGFormat.Value}.program", GPGExecutableFile); new Commands.Config(null).Set($"gpg.{GPGFormat.Value}.program", GPGExecutableFile);
} }
ViewModels.Preferences.Instance.Save();
base.OnClosing(e); base.OnClosing(e);
} }