webkitgtk 2.4.11-3debian/2.4.11-3debian

1 files changed, 20 insertions, 0 deletions

diff --git a/debian/patches/02_notebook_scroll.patch b/debian/patches/02_notebook_scroll.patch
new file mode 100644
index 0000000..3a459fa
--- /dev/null
+++ b/debian/patches/02_notebook_scroll.patch
@@ -0,0 +1,20 @@
+From: Josselin Mouette <joss@debian.org>
+Subject: Add support for switching tabs with alt+scroll
+Bug-Debian: https://bugs.debian.org/640980
+Index: webkitgtk/Source/WebKit/gtk/webkit/webkitwebview.cpp
+===================================================================
+--- webkitgtk.orig/Source/WebKit/gtk/webkit/webkitwebview.cpp
++++ webkitgtk/Source/WebKit/gtk/webkit/webkitwebview.cpp
+@@ -813,6 +813,12 @@ static gboolean webkit_web_view_scroll_e
+     if (!frame.view())
+         return FALSE;
+ 
++#ifndef GTK_API_VERSION_2
++    /* Ignore Alt-scroll events in GTK3 so that GtkNotebook can use it to switch tabs */
++    if (event->state & GDK_MOD1_MASK)
++        return FALSE;
++#endif
++
+     PlatformWheelEvent wheelEvent(event);
+     return frame.eventHandler().handleWheelEvent(wheelEvent);
+ }