user.js

commit 620a0ee29cd9b23df95d767b0d93f090080b5aae
parent a25df4c942f4d9759df6defd49b0cdc6d080b70b
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed, 27 Sep 2017 03:40:04 +1300

5016: reload/stop animation FF56+

[1355924](https://bugzilla.mozilla.org/show_bug.cgi?id=1355924) and for some fixes in 57 see [1384180](https://bugzilla.mozilla.org/show_bug.cgi?id=1384180)
Diffstat:
M
user.js
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/user.js b/user.js
@@ -1686,6 +1686,8 @@ user_pref("network.manage-offline-status", false);
 /* 5015: disable animations (FF55+)
  * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1352069 ***/
    // user_pref("toolkit.cosmeticAnimations.enabled", false);
+/* 5016: disable reload/stop animation (FF56+) ***/
+   // user_pref("browser.stopReloadAnimation.enabled", true);
 /* 5017: set submenu delay in milliseconds. 0=instant while a small number allows
  * a mouse pass over menu items without any submenus alarmingly shooting out ***/
 user_pref("ui.submenuDelay", 150); // (hidden pref)