1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
From: Josselin Mouette <joss@debian.org>
Date: Sun, 5 Jun 2011 00:26:59 +0000
Subject: Allow to switch tabs with Alt+wheel
With the addition of 043_notebook_scroll.patch in gtk+3.0, it is
possible to switch tabs with Alt+mouse wheel from anywhere on the
notebook. This patch prevents vte from interecepting the signal.
Corresponding GTK+ bug: GNOME #145244
---
src/vte.c | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/src/vte.c b/src/vte.c
index 695d327..ee5bb9f 100644
--- a/src/vte.c
+++ b/src/vte.c
@@ -11361,6 +11361,13 @@ vte_terminal_scroll(GtkWidget *widget, GdkEventScroll *event)
vte_terminal_read_modifiers (terminal, (GdkEvent*) event);
+#if GTK_CHECK_VERSION (2, 90, 8)
+ /* Do not intercept Alt+scroll, let the GtkNotebook handle it to switch tabs.
+ Requires a fixed GTK+, see https://bugzilla.gnome.org/show_bug.cgi?id=145244 */
+ if (event->state & GDK_MOD1_MASK)
+ return FALSE;
+#endif
+
_VTE_DEBUG_IF(VTE_DEBUG_EVENTS)
switch (event->direction) {
case GDK_SCROLL_UP:
|
