From f3bd095fe97445fccd1d11620ce53a3eb68babb2 Mon Sep 17 00:00:00 2001 From: earthlng Date: Fri, 15 Sep 2017 14:56:24 +0200 Subject: [PATCH] 5015 - add version info (FF55+) --- user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user.js b/user.js index e9a4874..e8d1d94 100644 --- 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