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
This commit is contained in:
Carlos Garnacho 2012-02-23 14:14:33 +01:00 committed by Matthias Clasen
parent f34a236814
commit a5c394e901

View File

@ -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;