diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:59:51 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:59:51 +0100 |
| commit | a7ec21fa54b734dd784b8b3fbeb77d38689aa8f9 (patch) | |
| tree | 570a627e2eeca11369f941658408ab06c4aecd27 /firefox/user.js | |
| parent | 585d21d1838b9664d81e6dfb4c2225c429b86c9e (diff) | |
firefox: allow themeing via userChrome.css
Diffstat (limited to 'firefox/user.js')
| -rw-r--r-- | firefox/user.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/firefox/user.js b/firefox/user.js index 73e8244..23ed66a 100644 --- a/firefox/user.js +++ b/firefox/user.js @@ -8,6 +8,7 @@ user_pref("layout.spellcheckDefault", 0); user_pref("general.smoothScroll", false); user_pref("browser.tabs.insertRelatedAfterCurrent", false); user_pref("browser.startup.page", 3); +user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true); // allow addons to work on mozilla domains user_pref("extensions.webextensions.restrictedDomains", ""); |