From 9fb8b0e9bbe0e60b408997efe17bc2d0077555c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sat, 25 Jan 2020 20:40:11 +0100
Subject: [PATCH] space button-press: navigate to space if clicking on
 background

---
 tiling.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tiling.js b/tiling.js
index 83adffb..17d88cb 100644
--- a/tiling.js
+++ b/tiling.js
@@ -1069,9 +1069,10 @@ box-shadow: 0px 0px 8px 0px rgba(0, 0, 0, .7);
                     ensureViewport(windowAtPoint, this);
                     inGrab = new Extension.imports.grab.MoveGrab(windowAtPoint, Meta.GrabOp.MOVING, this);
                     inGrab.begin();
+                } else {
+                    spaces.selectedSpace = this;
+                    Navigator.getNavigator().finish();
                 }
-                // spaces.selectedSpace = this;
-                // nav.finish();
             });
 
         this.signals.connect(