user.js

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

commit 1c82abf074d88c79f75b8409857d603a9180744d
parent 1c5988c7707b7aefbc55f62ee733165c195b2377
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 22 May 2017 07:36:39 +1200

Update user.js
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1153,7 +1153,7 @@ user_pref("browser.download.useDownloadDir", false); /* 2604: remove temp files opened with an external application [MAC] * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=302433 ***/ user_pref("browser.helperApps.deleteTempFileOnExit", true); -/* 2605: disable integration of activity into windows recent documents ***/ +/* 2605: disable integration of activity into windows recent documents [WINDOWS] ***/ user_pref("browser.download.manager.addToRecentDocs", false); /* 2606: disable hiding mime types (Options>Applications) not associated with a plugin ***/ user_pref("browser.download.hide_plugins_without_extensions", false);