From 11e6e68c991b91c785158bc9523b1c062232921f Mon Sep 17 00:00:00 2001
From: cmacrae <calum0macrae@gmail.com>
Date: Wed, 1 Jan 2020 20:51:31 +0000
Subject: [PATCH] defaults: introduce NSGlobalDomain option for
 "_HIHideMenuBar"

---
 modules/system/defaults/NSGlobalDomain.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/modules/system/defaults/NSGlobalDomain.nix b/modules/system/defaults/NSGlobalDomain.nix
index d519ce0..1f8d5ef 100644
--- a/modules/system/defaults/NSGlobalDomain.nix
+++ b/modules/system/defaults/NSGlobalDomain.nix
@@ -297,6 +297,14 @@ in {
       '';
     };
 
+    system.defaults.NSGlobalDomain._HIHideMenuBar = mkOption {
+      type = types.nullOr types.bool;
+      default = null;
+      description = ''
+        Whether to autohide the menu bar.  The default is false.
+      '';
+    };
+
   };
 
 }