From 829d992b5902bf4d14e29d50b27e2e26709f5871 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Mon, 7 May 2018 18:51:19 +0200
Subject: [PATCH] Highlight selected windows when browsing the workspace mru
 stack

---
 navigator.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/navigator.js b/navigator.js
index e8b334f..3958a18 100644
--- a/navigator.js
+++ b/navigator.js
@@ -237,7 +237,7 @@ var PreviewedWindowNavigator = new Lang.Class({
         });
 
         this.space = newSpace;
-        this._selectedIndex = this.space.selectedIndex();
+        this._select(this.space.selectedIndex());
     },
 
     _doAction: function(mutterActionId) {