Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
firefox:user.js [2018/04/06 09:27] zagi [user.js] |
firefox:user.js [2018/04/06 09:31] zagi [user.js] |
||
|---|---|---|---|
| Line 292: | Line 292: | ||
| # Status of ths smooth scrolling option (scrolling on a web page moves page content pixelwise rather than line-by-line) | # Status of ths smooth scrolling option (scrolling on a web page moves page content pixelwise rather than line-by-line) | ||
| user_pref(" | user_pref(" | ||
| + | user_pref(" | ||
| // Allows for faster mouse scrolling | // Allows for faster mouse scrolling | ||
| user_pref(" | user_pref(" | ||
