Override panel hiding when selectedWindow isn't fullscreen

2026-10-05 19:56:53 +00:00 · 2017-10-01 13:16:22 +02:00
parent 29fd979467
commit 5beb29fa1b
1 changed files with 6 additions and 1 deletions
@@ -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 = []