diff options
author | Christian Persch <chpe@gnome.org> | 2012-05-11 21:47:54 +0200 |
---|---|---|
committer | Vincent Untz <vuntz@gnome.org> | 2012-05-14 16:49:19 +0200 |
commit | de74b83bfdb78af536e71c58fc297a1eb3b7efe0 (patch) | |
tree | d616ad0cf36fcfcd6815e9751f23505de1088c7a /libwnck/selector.c | |
parent | 21538b70a9d493d33021b806f830091591f66815 (diff) | |
download | libwnck-de74b83bfdb78af536e71c58fc297a1eb3b7efe0.tar.gz |
pager, selector, tasklist: Fix mouse wheel scrolling with new GTK+
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.
https://bugzilla.gnome.org/show_bug.cgi?id=673833
Diffstat (limited to 'libwnck/selector.c')
-rw-r--r-- | libwnck/selector.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libwnck/selector.c b/libwnck/selector.c index df5dc34..cbac32a 100644 --- a/libwnck/selector.c +++ b/libwnck/selector.c @@ -1085,6 +1085,9 @@ wnck_selector_scroll_event (GtkWidget *widget, /* We ignore LEFT and RIGHT scroll events. */ break; + case GDK_SCROLL_SMOOTH: + break; + default: g_assert_not_reached (); } @@ -1246,6 +1249,8 @@ wnck_selector_init (WnckSelector *selector) selector->priv->window_hash = NULL; selector->priv->size = -1; + + gtk_widget_add_events (GTK_WIDGET (selector), GDK_SCROLL_MASK); } static void |