From 030b030eabaa3eb330abca7dd94f9de491c63cdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Thu, 12 Apr 2018 17:02:47 +0200
Subject: [PATCH] topbar: Handle visibility correctly when fullscreen is
 toggled

---
 topbar.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/topbar.js b/topbar.js
index 7fecdeb..accc4ac 100644
--- a/topbar.js
+++ b/topbar.js
@@ -27,6 +27,18 @@ function enable () {
                                         updateWorkspaceIndicator(to);
                                     }));
 
+    screenSignals.push(
+        global.screen.connect('in-fullscreen-changed',
+                              (screen) => {
+                                  let workspace = global.screen.get_active_workspace();
+                                  let space = Tiling.spaces.spaceOf(workspace);
+                                  if (space.selectedWindow.fullscreen) {
+                                      hide();
+                                  } else {
+                                      show();
+                                  }
+                              }));
+
     panelBoxShowId =  panelBox.connect('show', show);
     panelBoxHideId = panelBox.connect('hide', () => {
         let space = Tiling.spaces.spaceOf(global.screen.get_active_workspace());