From 2b0b5063e1ae9babd432e9349fc4a8ca69340456 Mon Sep 17 00:00:00 2001
From: davidovski <david@davidovski.xyz>
Date: Sat, 4 May 2024 01:37:09 +0100
Subject: fix user.js to have options for wavefox

---
 firefox/user.js | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'firefox')

diff --git a/firefox/user.js b/firefox/user.js
index cc6195d..ffc436a 100644
--- a/firefox/user.js
+++ b/firefox/user.js
@@ -418,3 +418,12 @@ user_pref("browser.privatebrowsing.promoEnabled", false);
 
 // Disable automatic gain control
 user_pref("media.getusermedia.agc_enabled", false);
+
+// Theming
+user_pref("gfx.webrender.all", true);
+user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
+user_pref("userChrome.Tabs.Option6.Enabled", true);
+user_pref("userChrome.Style.ThirdParty.Enabled", true);
+user_pref("userChrome.Linux.Transparency.Medium.Enabled", true);
+
+user_pref("browser.tabs.inTitlebar", 2);
-- 
cgit v1.2.1