From c821bf80ea368a19e1dcca6d3aa0c0dffdfc7b94 Mon Sep 17 00:00:00 2001 From: Aly Raffauf Date: Thu, 25 Jul 2024 21:05:36 -0400 Subject: [PATCH] home/theme: revert default for gtk.hideTitleBar --- homeManagerModules/options.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/homeManagerModules/options.nix b/homeManagerModules/options.nix index 5d892076..ae771b6b 100644 --- a/homeManagerModules/options.nix +++ b/homeManagerModules/options.nix @@ -307,6 +307,7 @@ in { gtk.hideTitleBar = lib.mkOption { description = "Whether to hide GTK3/4 titlebars (useful for some window managers)."; + default = false; type = lib.types.bool; };