From be8be992653655c1504e8283b0b83bd2bd196420 Mon Sep 17 00:00:00 2001 From: lelgenio Date: Thu, 16 Nov 2023 14:25:44 -0300 Subject: [PATCH] firefox: Allow editing userChrome by default --- user/firefox.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/user/firefox.nix b/user/firefox.nix index 1f22a61..a7335cf 100644 --- a/user/firefox.nix +++ b/user/firefox.nix @@ -42,9 +42,16 @@ in { # Enable installing non signed extensions "extensions.langpacks.signatures.required" = false; "xpinstall.signatures.required" = false; + + "browser.aboutConfig.showWarning" = false; + + # Enable userChrome editor (Ctrl+Shift+Alt+I) + "devtools.chrome.enabled" = true; + "devtools.debugger.remote-enabled" = true; }; userChrome = lib.mkIf (desktop == "sway") '' #titlebar { display: none !important; } + #sidebar-header { display: none !important; } ''; }; };