[PATCH] Mouse wheel events for gtk+ 1.3

[Anders Carlsson <andersca gnu org>]

Hello,

at the URL
http://info.stjerneskolan.com/~andersca/gnome/mouse_wheel-gtk-1.3.diff.gz
you can find a patch that gives mouse wheel events their own GdkEvent
structure. The patch also adapts the widgets that use mouse wheel events
to the new event.

This should make it easier to port GTK+ to different platforms since not
all window systems use buttons 4 and 5 to signal mouse events.

Please note that this is my first serious GTK+ hacking attempt, if
there's anything thats wrong, tell me :)

//andersca
andersca@gnu.org