bug#51473: [PATCH] Enable xwidget scrolling optimizations, and other xwidgets improvements

[Lars Ingebrigtsen]

Po Lu <luangruo@yahoo.com> writes:

> I have tried to explain the user-facing changes in NEWS and in the
> manual.

Thanks; I've only skimmed the patches, but the general gist makes sense
to me.  But I can't really test them, so somebody else will have to do that.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no