tags 443194 + pending thanks On Wed, Sep 19, 2007 at 05:05:33PM +0200, Piotr Engelking wrote: > The attached patch adds mouse wheel support for the help system. Thanks, I committed it (most of my mice do not have a scroll wheel :-). Jens