From 49c39992cd84f90712cdee322abcb5960f91eddb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sun, 28 Apr 2019 12:50:33 +0200
Subject: [PATCH] always show the top bar when navigating the workspace stack

---
 tiling.js | 4 +++-
 topbar.js | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/tiling.js b/tiling.js
index c987cf6..acc3341 100644
--- a/tiling.js
+++ b/tiling.js
@@ -1392,6 +1392,9 @@ class Spaces extends Map {
     _initWorkspaceStack() {
         if (inPreview)
             return;
+        // Always show the topbar when using the workspace stack
+        inPreview = true;
+        TopBar.show();
         const scale = 0.9;
         let space = this.spaceOf(workspaceManager.get_active_workspace());
         let mru = [...this.stack];
@@ -1402,7 +1405,6 @@ class Spaces extends Map {
             Main.panel.statusArea.appMenu.container.hide();
         let monitor = space.monitor;
         this.selectedSpace = space;
-        inPreview = true;
 
         let cloneParent = space.clip.get_parent();
         mru.forEach((space, i) => {
diff --git a/topbar.js b/topbar.js
index e02c3c6..2aede7f 100644
--- a/topbar.js
+++ b/topbar.js
@@ -484,6 +484,7 @@ function disable() {
 
 function show() {
     if (!Main.overview.visible &&
+        !Tiling.inPreview &&
         !Tiling.spaces.selectedSpace.settings.get_boolean('show-top-bar')) {
         hide();
         return;