Re: Subject: w32 mouse wheel handling

[Jason Rumney]

Juanma Barranquero wrote:
> On Tue, 27 May 2003 10:12:49 +0200 (CEST)
> David PONCE <address@hidden> wrote:
>
> > Feel free to revert the changes, until a better solution is found.
>
> I agree. If no one does it before, I'll do in about twelve hours.

I think the only objection was the naming of the events. This is a
minor change to the patched version, so there is no real harm in
leaving the patch in place until the naming is decided. As long as
the issue is not forgotten about.