user.js

commit f3bd095fe97445fccd1d11620ce53a3eb68babb2
parent e794611920537727bd9b85d09e83376978c4a2cd
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Fri, 15 Sep 2017 14:56:24 +0200

5015 - add version info (FF55+)
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user.js b/user.js
@@ -1669,7 +1669,7 @@ 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);
-/* 5015: disable animations
+/* 5015: disable animations (FF55+)
  * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1352069 ***/
    // user_pref("toolkit.cosmeticAnimations.enabled", false);
 /* 5017: set submenu delay in milliseconds. 0=instant while a small number allows