Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
firefox:user.js [2018/02/26 14:48] zagi [user.js] |
firefox:user.js [2018/04/06 09:27] zagi [user.js] |
||
---|---|---|---|
Line 47: | Line 47: | ||
user_pref(" | user_pref(" | ||
- | # It' | + | |
+ | # it is 900 in FFox 58 on Windows 10 | ||
user_pref(" | user_pref(" | ||
user_pref(" | user_pref(" | ||
Line 156: | Line 157: | ||
# TABS | # TABS | ||
user_pref(" | user_pref(" | ||
+ | # open bookmarks in new tab | ||
+ | user_pref(" | ||
+ | |||
user_pref(" | user_pref(" | ||
user_pref(" | user_pref(" | ||
Line 287: | 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(" | ||
Line 377: | Line 381: | ||
user_pref(" | user_pref(" | ||
user_pref(" | user_pref(" | ||
+ | user_pref(" | ||
+ | user_pref(" | ||
+ | user_pref(" | ||
+ | |||
# | # | ||
# | # |