From 89bae34412a2dcd8da9e1171545dbd30d1665768 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sun, 28 Apr 2019 03:25:01 +0200
Subject: [PATCH] workspace menu: add zen toggle

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

diff --git a/topbar.js b/topbar.js
index dcae47f..2ea2b13 100644
--- a/topbar.js
+++ b/topbar.js
@@ -157,6 +157,12 @@ class WorkspaceMenu extends PanelMenu.Button {
         this._contentBox.add_actor(this.colors.actor);
         this.menu.box.add_actor(this._contentBox);
 
+        this._zenItem = new PopupMenu.PopupSwitchMenuItem('show top bar', true);
+        this.menu.addMenuItem(this._zenItem);
+        this._zenItem.connect('toggled', item => {
+            Tiling.spaces.selectedSpace.settings.set_boolean('show-top-bar', item.state);
+        });
+
         this.prefsIcon = new St.Button({ reactive: true,
                                          can_focus: true,
                                          track_hover: true,
@@ -380,6 +386,7 @@ class WorkspaceMenu extends PanelMenu.Button {
             this.colors.actor.hint_text = space.name;
         }
 
+        this._zenItem._switch.state = space.settings.get_boolean('show-top-bar');
     }
 
     workspaceSwitched(wm, fromIndex, toIndex) {