From ec5c54bb49793c651a4e3e5c05fd63ca0b01b3d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Mon, 5 Feb 2018 17:54:47 +0100
Subject: [PATCH] Fix broken alt-tab binding after gdm lock

For some reason locking the screen with GDM kills the live-alt-tab binding.
---
 extension.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/extension.js b/extension.js
index 55902e2..b5c6fd0 100644
--- a/extension.js
+++ b/extension.js
@@ -213,7 +213,7 @@ function enable() {
     }
 
     // Restore settings if we've reloaded
-    restoreKeybindings(paperSettings);
+    // restoreKeybindings(paperSettings);
 
     let settings = new Gio.Settings({ schema_id: "org.gnome.desktop.wm.keybindings"});
 
@@ -245,11 +245,11 @@ function disable() {
     Scratch.disable();
 
     // Restore default gnome bindings
-    restoreKeybindings(wmSettings);
+    // restoreKeybindings(wmSettings);
 
     // Kill our custom bindings
-    killKeybinding('live-alt-tab', paperSettings)
-    killKeybinding('live-alt-tab-backward', paperSettings)
+    // killKeybinding('live-alt-tab', paperSettings)
+    // killKeybinding('live-alt-tab-backward', paperSettings)
 
     enabled = false;
 }