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.
This commit is contained in:
Tor Hedin Brønner
2017-10-11 02:05:37 +02:00
parent 854de22289
commit 1bfab13ddd
+2 -2
View File
@@ -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;
}