topbar: Handle visibility correctly when fullscreen is toggled

2026-07-15 21:30:04 +00:00 · 2018-04-12 17:02:47 +02:00
parent 0c7f454878
commit 030b030eab
1 changed files with 12 additions and 0 deletions
--- 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());