From 062da5deb8a476cbd60ff0a844fb950b103866de Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 19 Apr 2024 04:26:04 +0200 Subject: user.js: Disabling smooth scrolling. Signed-off-by: Daniel Baumann --- debian/local/pref/user.js | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'debian/local/pref') diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index 737e0e6b83..ff69bbcade 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1027,6 +1027,15 @@ 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); + user_pref("layout.spellcheckDefault", 0); user_pref("media.autoplay.default", 5); -- cgit v1.2.3