[gtk+] menu: Handle smooth scrolling

[Matthias Clasen <matthiasc src gnome org>]

commit a5c394e901dda5f2e064b12008009486ad89e12a
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Feb 23 14:14:33 2012 +0100

    menu: Handle smooth scrolling
    
    event->scroll.delta_y will be used to scroll the menu contents,
    GDK_SMOOTH_SCROLL_MASK has been set as well

 gtk/gtkmenu.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index 8ecf9bf..b7f95e3 100644
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -1407,6 +1407,7 @@ popup_grab_on_window (GdkWindow *window,
   if (pointer &&
       gdk_device_grab (pointer, window,
                        GDK_OWNERSHIP_WINDOW, TRUE,
+                       GDK_SMOOTH_SCROLL_MASK |
                        GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK |
                        GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK |
                        GDK_POINTER_MOTION_MASK,
@@ -3845,6 +3846,9 @@ gtk_menu_scroll (GtkWidget      *widget,
     case GDK_SCROLL_UP:
       gtk_menu_scroll_by (menu, - MENU_SCROLL_STEP2);
       break;
+    case GDK_SCROLL_SMOOTH:
+      gtk_menu_scroll_by (menu, event->delta_y);
+      break;
     }
 
   return TRUE;