diff options
| -rw-r--r-- | debian/local/pref/user.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index bdfcae3b54..22bbd95e79 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1058,3 +1058,5 @@ 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); |