user.js

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

commit b373fe2a58747ffe9c48b2e6f3ede473d7a96469
parent 95f1d6ecf64c7b69a7a2e4861a65e9d71e4a8320
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu,  9 Nov 2017 10:54:52 +1300

5014: download button visibility
Diffstat:
Muser.js | 4++++
1 file changed, 4 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1717,6 +1717,10 @@ user_pref("layout.spellcheckDefault", 1); * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=620472 * [2] https://developer.mozilla.org/docs/Online_and_offline_events ***/ user_pref("network.manage-offline-status", false); +/* 5014: control download button visibility (FF57+) + * true = the button is automatically shown/hidden based on whether the session has downloads or not + * false = the button is always visible ***/ + // user_pref("browser.download.autohideButton", false); /* 5015: disable animations (FF55+) * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1352069 ***/ // user_pref("toolkit.cosmeticAnimations.enabled", false);