From f1aa4b5641f2ef8ee45150cd31c51116178b0eb3 Mon Sep 17 00:00:00 2001 From: Aly Raffauf Date: Wed, 7 Aug 2024 22:06:17 -0400 Subject: [PATCH] nixfmt --- homeManagerModules/options.nix | 1 - 1 file changed, 1 deletion(-) diff --git a/homeManagerModules/options.nix b/homeManagerModules/options.nix index 7783a1d1..08dd4ede 100644 --- a/homeManagerModules/options.nix +++ b/homeManagerModules/options.nix @@ -268,7 +268,6 @@ in { serifFont = mkFontOption "serif" "Vegur" pkgs.vegur 11; monospaceFont = mkFontOption "monospace" "UbuntuSansMono Nerd Font" (pkgs.nerdfonts.override {fonts = ["UbuntuSans"];}) 11; - gtk.hideTitleBar = lib.mkOption { description = "Whether to hide GTK3/4 titlebars (useful for some window managers)."; default = false;