user.js

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

commit cf269c982bcc38eaa14a3f91e061edf573be1b16
parent 36c11cb5d40e04e7af92064db7f791cca669f4a7
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat,  5 May 2018 18:26:33 +0000

fixup number ref
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1245,7 +1245,7 @@ user_pref("devtools.webide.enabled", false); * [WHY USE true=open with or save to disk] * If you think a particular external app is more secure... * [NOTE] - * See 2662, and JS can still force a pdf to open in-browser by bundling its own code (rare) ***/ + * See 2644, and JS can still force a pdf to open in-browser by bundling its own code (rare) ***/ user_pref("pdfjs.disabled", false); /* 2619: limit HTTP redirects (this does not control redirects with HTML meta tags or JS) * [WARNING] A low setting of 5 or under will probably break some sites (e.g. gmail logins)