When there’s no windows, restores the label

wzygadlo · May 1, 2021 · ea537e4 · ea537e4
1 parent 00e3375
commit ea537e4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/fildemGMenu@gonza.com/extension.js b/fildemGMenu@gonza.com/extension.js
@@ -473,6 +473,9 @@ const MenuBar = class MenuBar {
 				}
 			}
 			this._proxy.WindowSwitched(windowData);
+		} else {
+			this._hideMenu();
+			this._restoreLabel();
 		}
 	}
 
@@ -690,4 +693,4 @@ function enable() {
 function disable() {
 	extension.destroy();
 	extension = null;
-}
+}