[Webkit-unassigned] [Bug 168300] [GTK] Slow scroll adjustment when using a mouse wheel

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Tue Mar 7 14:07:17 PST 2023


https://bugs.webkit.org/show_bug.cgi?id=168300

--- Comment #12 from Michael Catanzaro <mcatanzaro at gnome.org> ---
(In reply to Carlos Garcia Campos from comment #10)
> I think gtk has a different value depending on the document
> size:
> 
> scroll_step = pow (page_size, 2.0 / 3.0);

Well we can probably forget about matching GTK scroll speed then. That simplifies this discussion.

(In reply to Fabian Bornschein from comment #11)
> I think probably the best option would be to expose it to the downstream
> developer to configure it themself.

Well it's certainly possible, but now you're looking at adding new API, and then hoping that the application you care about rebuilds to use the new API. So it's a more involved process.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20230307/d9b1f92e/attachment.htm>


More information about the webkit-unassigned mailing list