From 5beb29fa1b4fa86bd4bee0d6722b967f1d405736 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sun, 1 Oct 2017 13:16:22 +0200
Subject: [PATCH] Override panel hiding when selectedWindow isn't fullscreen

---
 tiling.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tiling.js b/tiling.js
index e03b9cd..acbb1d4 100644
--- a/tiling.js
+++ b/tiling.js
@@ -69,7 +69,12 @@ Space = (workspace) => {
 }
 
 panelBox.connect('hide', () => {
-    panelBox.scale_y = 0;
+    let space = spaces[global.screen.get_active_workspace_index()];
+    if (space.selectedWindow.fullscreen) {
+        panelBox.scale_y = 0;
+    } else {
+        panelBox.show();
+    }
 });
 
 const spaces = []