GNOME Bugzilla – Bug 673833
Mouse scroll wheel doesn't work with GTK+ 3.4
Last modified: 2012-05-14 15:44:25 UTC
Since upgrading to GTK+ 3.4, the mouse wheel does nothing when scrolled on top of the window switcher & workspace switcher applets. According to GTK+'s NEWS file, since GTK+ 3.3.18 "To receive scroll events, widgets must now set either GDK_SCROLL_MASK or GDK_SMOOTH_SCROLL_MASK". VTE suffered from a similar problem in bug 671305 so perhaps gnome-panel also needs to make this change.
Indeed. Should be rather straight-forward.
-> libwnck.
Created attachment 213885 [details] [review] Fix mouse wheel scrolling in pager and task selector Add the GDK_SCROLL_MASK to the window events, and add dummy handling of GDK_SCROLL_SMOOTH events so as to not crash if they occcur. Untested but should work :-) Bug #673833.
Comment on attachment 213885 [details] [review] Fix mouse wheel scrolling in pager and task selector This was not enough for the tasklist, but I committed something else there that makes it work.