GNOME Bugzilla – Bug 679048
[WebKit2] Make smooth scrolling optional
Last modified: 2012-10-09 07:49:22 UTC
WK2 seems to enable smooth scrolling by default. Some people really dislike this, and we already have a GSetting to control it (although it never did anything in WK1, and does nothing in WK2 either). We should make WebKit2 respect that setting.
See wk bug with patch: https://bugs.webkit.org/show_bug.cgi?id=98646 The smooth scrolling setting will be disabled by default, so once the wk patch lands we don't need to do anything, unless we want to honor the gsetting key.
I think we definitely want to hook our GSetting to WebKit's setting, yeah.
Created attachment 226057 [details] [review] Patch I think this is all we need to make it work for both wk1 and wk2.
Review of attachment 226057 [details] [review]: OK, cool!