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