diff options
| author | davidovski <david@davidovski.xyz> | 2024-05-04 01:37:09 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2024-05-04 01:37:37 +0100 |
| commit | 2b0b5063e1ae9babd432e9349fc4a8ca69340456 (patch) | |
| tree | 48bf8562993ddd39622c08b578345a6ccb0a6537 /firefox/user.js | |
| parent | fa85d5790e6567057487b9b9a3fad951b5e6b682 (diff) | |
Diffstat (limited to 'firefox/user.js')
| -rw-r--r-- | firefox/user.js | 9 |
1 files changed, 9 insertions, 0 deletions
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); |