Merge pull request #120 from Fmstrat/feature/fix-org.gnome.shell.over…

…rides Re-fix org.gnome.shell.overrides error
Fmstrat · May 24, 2023 · 39259b5 · 39259b5
2 parents 6aefc2b + ecdb4e4
commit 39259b5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/extension.js b/extension.js
@@ -1097,9 +1097,14 @@ function disable() {
 	keyManager.destroy();
 	keyManager = null;
 	let desktopSettings = new Gio.Settings({ schema_id: 'org.gnome.desktop.wm.keybindings' });
-	let shellSettings = new Gio.Settings({ schema_id: 'org.gnome.shell.overrides' });
 	let mutterKeybindingSettings = new Gio.Settings({ schema_id: 'org.gnome.mutter.keybindings' });
 	let mutterSettings = new Gio.Settings({ schema_id: 'org.gnome.mutter' });
+	try {
+		let shellSettings = new Gio.Settings({ schema_id: 'org.gnome.shell.overrides' });
+		shellSettings.reset("edge-tiling");
+	} catch (error) {
+		_log("org.gnome.shell.overrides does not exist");
+	}
 	desktopSettings.reset('unmaximize');
 	desktopSettings.reset('maximize');
 	mutterKeybindingSettings.reset('toggle-tiled-left');