From e3b7f5383748d68d25d1367fc96c8dda4ad0ab66 Mon Sep 17 00:00:00 2001 From: "Chinmay D. Pai" Date: Mon, 23 Sep 2024 11:29:45 +0530 Subject: [PATCH] chore: make firefox changes * remove gnome theme configuration * allow firefox to use document fonts intead of system fonts Signed-off-by: Chinmay D. Pai --- homes/x86_64-linux/chnmy@thonkpad/default.nix | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/homes/x86_64-linux/chnmy@thonkpad/default.nix b/homes/x86_64-linux/chnmy@thonkpad/default.nix index 06acac3..c02eeef 100644 --- a/homes/x86_64-linux/chnmy@thonkpad/default.nix +++ b/homes/x86_64-linux/chnmy@thonkpad/default.nix @@ -90,7 +90,7 @@ }; # Fonts - make web pages follow system font "browser.display.use_document_fonts" = { - Value = 0; + Value = 1; Status = "locked"; }; }; @@ -189,10 +189,6 @@ "media.rdd-ffmpeg.enabled" = true; "widget.dmabuf.force-enabled" = true; "svg.context-properties.content.enabled" = true; - "gnomeTheme.hideSingleTab" = true; - "gnomeTheme.bookmarksToolbarUnderTabs" = true; - "gnomeTheme.normalWidthTabs" = false; - "gnomeTheme.tabsAsHeaderbar" = false; }; }; };