// Generated by Home Manager.

user_pref("general.smoothScroll", false);