Blame SOURCES/0001-widget-Only-show-the-cursor-on-motion-if-moved.patch

545f62
From 9077ef68bebee9a22d836a00af72aa02d5628ed4 Mon Sep 17 00:00:00 2001
545f62
From: Bastien Nocera <hadess@hadess.net>
545f62
Date: Fri, 16 Nov 2012 16:18:05 +0100
545f62
Subject: [PATCH] widget: Only show the cursor on motion if moved
545f62
545f62
Some devices, like Wacom tablets, will emit mouse motion
545f62
events even when the mouse doesn't move on the tablet. This
545f62
means that the mouse cursor will show up on the screen very shortly
545f62
after hiding.
545f62
545f62
We now check the motion event against the last location of the
545f62
mouse cursor to avoid this behaviour.
545f62
545f62
https://bugzilla.gnome.org/show_bug.cgi?id=688456
545f62
---
545f62
 src/vte.c | 7 +++++--
545f62
 1 file changed, 5 insertions(+), 2 deletions(-)
545f62
545f62
diff --git a/src/vte.c b/src/vte.c
545f62
index bbe6cf6..c5922e6 100644
545f62
--- a/src/vte.c
545f62
+++ b/src/vte.c
545f62
@@ -7294,8 +7294,11 @@ vte_terminal_motion_notify(GtkWidget *widget, GdkEventMotion *event)
545f62
 	} else {
545f62
 		/* Hilite any matches. */
545f62
 		vte_terminal_match_hilite(terminal, x, y);
545f62
-		/* Show the cursor. */
545f62
-		_vte_terminal_set_pointer_visible(terminal, TRUE);
545f62
+		/* Show the cursor if we moved. */
545f62
+		if (event->type != GDK_MOTION_NOTIFY ||
545f62
+		    x != terminal->pvt->mouse_last_x ||
545f62
+		    y != terminal->pvt->mouse_last_y)
545f62
+			_vte_terminal_set_pointer_visible(terminal, TRUE);
545f62
 	}
545f62
 
545f62
 	switch (event->type) {
545f62
-- 
545f62
1.8.0
545f62