From 06e3016da7df3ff258c86c7fa8a7b402b488fa62 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Tue, 24 Apr 2018 21:18:59 +0200
Subject: [PATCH] navigator: Only reset stackoverlay if we've switched
 workspace

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

diff --git a/navigator.js b/navigator.js
index 5f87f97..c9e93f4 100644
--- a/navigator.js
+++ b/navigator.js
@@ -303,7 +303,8 @@ var PreviewedWindowNavigator = new Lang.Class({
 
         if (Main.panel.statusArea.appMenu)
             Main.panel.statusArea.appMenu.container.show();
-        StackOverlay.reset();
+        if (workspaceMru)
+            StackOverlay.reset();
 
         let force = workspaceMru;
         navigating = false; workspaceMru = false;