[vte] widget: Fix jittery cursor preventing mouse pointer hiding

[Christian Persch <chpe src gnome org>]

commit 6285c0271b6634a35a594b770980db7ba3a488f1
Author: Christian Persch <chpe gnome org>
Date:   Sat Nov 28 22:58:32 2015 +0100

    widget: Fix jittery cursor preventing mouse pointer hiding
    
    Only show the pointer again when the position actually changed.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=688456

 src/vte.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/vte.cc b/src/vte.cc
index 38f9bd2..3b98f15 100644
--- a/src/vte.cc
+++ b/src/vte.cc
@@ -7084,7 +7084,7 @@ VteTerminalPrivate::widget_motion_notify(GdkEventMotion *event)
 
         if (m_mouse_pressed_buttons != 0) {
                match_hilite_hide();
-       } else {
+       } else if (x != m_mouse_last_x || y != m_mouse_last_y) {
                /* Hilite any matches. */
                match_hilite(x, y);
                /* Show the cursor. */