user.js

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

commit 2d62b9f729c34a2c586ec2e0af2d5f203d4a1116
parent bb7f8df6470d171e9409d3b4aaf7a2484ba2d5b9
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 22 Apr 2019 12:23:39 +0000

2654 (open with) -> inactive
Diffstat:
Muser.js | 6+++---
1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/user.js b/user.js @@ -1362,12 +1362,12 @@ user_pref("browser.download.useDownloadDir", false); user_pref("browser.download.manager.addToRecentDocs", false); /* 2653: disable hiding mime types (Options>General>Applications) not associated with a plugin ***/ user_pref("browser.download.hide_plugins_without_extensions", false); -/* 2654: disable "open with" in download dialog [FF50+] +/* 2654: disable "open with" in download dialog [FF50+] [SETUP-HARDEN] * This is very useful to enable when the browser is sandboxed (e.g. via AppArmor) * in such a way that it is forbidden to run external applications. - * [SETUP-CHROME] This may interfere with some users' workflow or methods + * [WARNING] This may interfere with some users' workflow or methods * [1] https://bugzilla.mozilla.org/1281959 ***/ -user_pref("browser.download.forbid_open_with", true); + // user_pref("browser.download.forbid_open_with", true); /** EXTENSIONS ***/ /* 2660: lock down allowed extension directories