1
With the addition of 043_notebook_scroll.patch in gtk+3.0, it is
2
possible to switch tabs with Alt+mouse wheel from anywhere on the
3
notebook. This patch prevents vte from interecepting the signal.
5
Corresponding GTK+ bug: GNOME #145244
7
Index: vte-0.28.0/src/vte.c
8
===================================================================
9
--- vte-0.28.0.orig/src/vte.c 2011-06-05 01:48:33.224480856 +0200
10
+++ vte-0.28.0/src/vte.c 2011-06-05 01:59:00.267546314 +0200
11
@@ -11361,6 +11361,13 @@ vte_terminal_scroll(GtkWidget *widget, G
13
vte_terminal_read_modifiers (terminal, (GdkEvent*) event);
15
+#if GTK_CHECK_VERSION (2, 90, 8)
16
+ /* Do not intercept Alt+scroll, let the GtkNotebook handle it to switch tabs.
17
+ Requires a fixed GTK+, see https://bugzilla.gnome.org/show_bug.cgi?id=145244 */
18
+ if (event->state & GDK_MOD1_MASK)
22
_VTE_DEBUG_IF(VTE_DEBUG_EVENTS)
23
switch (event->direction) {