[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Subject: w32 mouse wheel handling

From: Jason Rumney
Subject: Re: Subject: w32 mouse wheel handling
Date: Tue, 27 May 2003 09:45:31 +0100
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.3b) Gecko/20030210

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]