user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 0f6957bbd448005fbe6078c5abc10d4349f83e4c
parent 8c2bcc0352fccb23334549db313ee7411d702f78
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Tue,  4 Aug 2020 10:18:29 +0000

4600: add missing version section
Diffstat:
Muser.js | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1607,6 +1607,7 @@ user_pref("ui.systemUsesDarkTheme", 0); // [HIDDEN PREF] // 4617: enforce prefers-reduced-motion as no-preference [FF63+] [RESTART] // 0=no-preference, 1=reduce user_pref("ui.prefersReducedMotion", 0); // [HIDDEN PREF] +// FF80+ // 4618: limit font visbility (non-ANDROID) [FF79+] // Uses hardcoded lists with two parts: kBaseFonts + kLangPackFonts, see [1] // 1=only base system fonts, 2=also fonts from optional language packs, 3=also user-installed fonts