From 0fc371d1a738af2d933ceb965b33ca18612bd87f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sun, 29 Apr 2018 23:48:26 +0200
Subject: [PATCH] Remove hard coded `<super>Space` binding

---
 extension.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/extension.js b/extension.js
index a5fbb18..0e292df 100644
--- a/extension.js
+++ b/extension.js
@@ -233,8 +233,6 @@ function enable() {
     killKeybinding('restore-shortcuts',
                    new Gio.Settings({ schema_id: "org.gnome.mutter.wayland.keybindings"}));
 
-    shellSettings.set_strv("toggle-overview", ["<super>space"])
-
     enabled = true;
 
     loadRcFile();