Re: Patch: Mouse wheel on the zoom level widget ;)

["David Adam Bordoley" <bordoley msu edu>]

Alexander Larsson writes: 

> On 5 May 2003, Danny wrote: 
>
> > Hi! :) 
> >
> > I've done a small patch:
> > http://bugzilla.gnome.org/show_bug.cgi?id=109996 
> >
> > It allows changing the zoom level with the mouse wheel when the pointer
> > is above the zoom level widget ;)
>
> Thanks a lot. I commited this to cvs.

Not to come off as an unappreciative nag :) but are you guys still planning 
on replacing the zoom widget with a generic gtk style one. I know there have 
been a few patches floating around the list and in bugzilla to do this and 
the ally team would probably appreciate it :) 

dave