diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:54:26 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:54:26 +0000 |
| commit | a61f5eea64d5a3da82dcdc1d60fbf602ee3a550d (patch) | |
| tree | aa2f29f92777991156694b1e3b169a78c5f31b9c /debian/local/pref | |
| parent | user.js: Disabling pocket extension. (diff) | |
| download | firefox-esr-a61f5eea64d5a3da82dcdc1d60fbf602ee3a550d.tar.xz firefox-esr-a61f5eea64d5a3da82dcdc1d60fbf602ee3a550d.zip | |
user.js: Disabling smooth scrolling.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/local/pref')
| -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 31f7cdc9ad..253180e821 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); |