user.js

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

commit 79e316a26fee55197c8a6bbbc123434d073c402c
parent 26a70f3cd7c5b7c52869e41affb403236c919e8f
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed,  3 Apr 2019 10:50:59 +0000

2618: better info, #682
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1321,7 +1321,7 @@ user_pref("permissions.manager.defaultsUrl", ""); user_pref("webchannel.allowObject.urlWhitelist", ""); /* 2618: disable exposure of system colors to CSS or canvas [FF44+] * [NOTE] See second listed bug: may cause black on black for elements with undefined colors - * [SETUP-CHROME] May affect themes + * [SETUP-CHROME] Might affect CSS in themes and extensions * [1] https://bugzilla.mozilla.org/buglist.cgi?bug_id=232227,1330876 ***/ user_pref("ui.use_standins_for_native_colors", true); // [HIDDEN PREF] /* 2619: enforce Punycode for Internationalized Domain Names to eliminate possible spoofing