On Tue, 2008-11-18 at 15:56 +0100, J.M. Maurer wrote:
>
> Martin: Looking at your patch, was the really issue that people
> pressed
> the mouse wheel button during scrolling?
s/really/real
Received on Tue Nov 18 15:59:22 2008
This archive was generated by hypermail 2.1.8 : Tue Nov 18 2008 - 15:59:22 CET