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/03/03 17:36] zagi [user.js] |
firefox:user.js [2018/04/06 09:27] zagi [user.js] |
||
---|---|---|---|
Line 291: | Line 291: | ||
# 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(" |
// Allows for faster mouse scrolling | // Allows for faster mouse scrolling | ||
user_pref(" | user_pref(" |