[ale] Mouse Wheel scroll speed

[David Corbin]

On Tuesday 05 October 2004 15:20, Geoffrey wrote:
> David Corbin wrote:
> > In at lease one application, the mouse wheel scrolls in much larger jumps
> > than it does under Windows.  Is there a setting for that somewhere?
>
> Very likely in the application itself.  Which app is it?

Eclipse (a Java app).  I don't think there's a setting for it, though it might 
be a GTK setting...