Re: [PATCH] Let input queue deal gracefully with up-events

[Stefan Monnier]

> -                Down-clicks are eliminated.
> +                Up/Down-clicks are eliminated.

Actually, up-clicks (in the sens of *mouse* clicks) are not eliminated.

I think it's be better to explain that we auto-eliminate both the
"down-<foo>" and "up-<foo>" events such that, depending on which of the
up or down part of an event is the important one, we use "down-<foo> and
<foo>" or "<foo> and up-<foo>"


        Stefan