space button-press: navigate to space if clicking on background

2026-10-06 20:07:02 +00:00 · 2020-03-08 14:48:00 +01:00
parent f43de26ab2
commit 9fb8b0e9bb
1 changed files with 3 additions and 2 deletions
@@ -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(