Re: mouse scroll wheel not working

[Juergen Spitzmueller]

Darren Freeman wrote:
> Fixed in the attached patch

Confirmed.
Many thanks, Darren!

Jürgen.