davidovski/dot
1
0
Fork 0
mirror of https://git.davidovski.xyz/dot.git synced 2024-08-15 00:43:28 +00:00
Code Issues Projects Releases Wiki Activity

fix user.js to have options for wavefox

Browse source
This commit is contained in:
davidovski 2024-05-04 01:37:09 +01:00
parent fa85d5790e
commit 2b0b5063e1
2 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

9
firefox/user.js
View file

@ -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);