user.js

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

commit 7496b873b78f9cfb82755f4999f97cddce1c75c7
parent 8ca3176ab13e011b0b3243b58644c208b33955d2
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed, 26 Apr 2017 18:17:22 +1200

3027 browser.urlbar.decodeURLsOnCopy added
Diffstat:
Muser.js | 3+++
1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1508,6 +1508,9 @@ user_pref("browser.migrate.automigrate.enabled", false); // user_pref("media.wmf.enabled", false); // https://www.youtube.com/html5 - for the two H.264 entries /* 3026: disable "Reader View" ***/ // user_pref("reader.parse-on-load.enabled", false); +/* 3027: decode URLs on copy from the URL bar (FF53+) + * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1320061 ***/ +user_pref("browser.urlbar.decodeURLsOnCopy", true); /* END: internal custom pref to test for syntax errors ***/ user_pref("ghacks_user.js.parrot", "No no he's not dead, he's, he's restin'! Remarkable bird, the Norwegian Blue");