diff options
| -rw-r--r-- | debian/local/pref/user.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index 047a112644..21250b03bf 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1088,3 +1088,12 @@ user_pref("extensions.pocket.enabled", false); user_pref("full-screen-api.warning.delay", 0); user_pref("full-screen-api.warning.timeout", 0); user_pref("full-screen-api.transition.timeout", 0); + +user_pref("general.smoothScroll", false); +user_pref("general.smoothScroll.lines", false); +user_pref("general.smoothScroll.mouseWheel", false); +user_pref("general.smoothScroll.other", false); +user_pref("general.smoothScroll.pages", false); +user_pref("general.smoothScroll.pixels", false); +user_pref("general.smoothScroll.scrollbars", false); +user_pref("toolkit.scrollbox.smoothScroll", false); |