From 1bfab13dddbba4ecfac6fcdffe4b09c28741b2b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Wed, 11 Oct 2017 02:05:37 +0200
Subject: [PATCH] When changing workspace use _select to ensure the new
 selected window

This fixes eg. top bar visibility when going from a fullscreen window to a
non-fullscreen window.
---
 tiling.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tiling.js b/tiling.js
index a71f7bc..88e141c 100644
--- a/tiling.js
+++ b/tiling.js
@@ -722,7 +722,7 @@ PreviewedWindowNavigator = new Lang.Class({
                                       newMap.space.workspace.workspace_index,
                                       Meta.MotionDirection.UP);
             this.space = newMap.space;
-            this._selectedIndex = this.space.selectedIndex();
+            this._select(this.space.selectedIndex());
             return true;
         } else if (mutterActionId === Meta.KeyBindingAction.WORKSPACE_DOWN) {
             let multimap = this._switcherList;
@@ -738,7 +738,7 @@ PreviewedWindowNavigator = new Lang.Class({
                                       newMap.space.workspace.workspace_index,
                                       Meta.MotionDirection.DOWN);
             this.space = newMap.space;
-            this._selectedIndex = this.space.selectedIndex();
+            this._select(this.space.selectedIndex());
             return true;
         }