From 6ff9039064569de86bc7a098421f12a2f3d0302d Mon Sep 17 00:00:00 2001 From: kramo <93832451+kra-mo@users.noreply.github.com> Date: Mon, 19 Jun 2023 14:58:34 +0200 Subject: [PATCH] Reset schema --- src/preferences.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/preferences.py b/src/preferences.py index d14acb8..e52b87a 100644 --- a/src/preferences.py +++ b/src/preferences.py @@ -121,6 +121,18 @@ class PreferencesWindow(Adw.PreferencesWindow): rmtree(shared.data_dir / "cartridges", True) rmtree(shared.config_dir / "cartridges", True) rmtree(shared.cache_dir / "cartridges", True) + + for key in ( + (settings_schema_source := Gio.SettingsSchemaSource.get_default()) + .lookup(shared.APP_ID, True) + .list_keys() + ): + shared.schema.reset(key) + for key in settings_schema_source.lookup( + shared.APP_ID + ".State", True + ).list_keys(): + shared.state_schema.reset(key) + shared.win.get_application().quit() reset_button = Gtk.Button.new_with_label("Reset")