user.js

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

commit 05bbd88f9507d813126960b380f0455ac944e2ec
parent e080614c30672a796f00b46b0455d0b024ec22e0
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed, 24 May 2017 02:41:06 +1200

2605 windows->system since GTK could be anything
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 * [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 [WINDOWS] [GTK] ***/ +/* 2605: disable adding downloads to the system's "recent documents" list ***/ 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);