From b373fe2a58747ffe9c48b2e6f3ede473d7a96469 Mon Sep 17 00:00:00 2001
From: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date: Thu, 9 Nov 2017 10:54:52 +1300
Subject: [PATCH] 5014: download button visibility

---
 user.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/user.js b/user.js
index 08dcaac..78bc3b4 100644
--- 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);