[Dillo-dev] patch: widget scrolling

...

Johannes, are there any unintended consequences to this fix?

Your patch seems correct, but I'd like to cleanup the scrolling code a bit more. Anyway, I have no objections to commit this for now.

Cool. Thanks!