diff --git a/user.js b/user.js index 04ccdcf..deaa7b7 100644 --- a/user.js +++ b/user.js @@ -1622,6 +1622,9 @@ user_pref("layout.spellcheckDefault", 1); /* 3013: disable automatic "Work Offline" status * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=620472 * [2] https://developer.mozilla.org/en-US/docs/Online_and_offline_events ***/ +/* 3015: disable animations + * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1352069 ***/ + // user_pref("toolkit.cosmeticAnimations.enabled", false); user_pref("network.manage-offline-status", false); /* 3017: set submenu delay in milliseconds. 0=instant while a small number allows * a mouse pass over menu items without any submenus alarmingly shooting out ***/