[gnome-builder] source-view: fix motion-notify use for ctrl+click

[Christian Hergert <chergert src gnome org>]

commit 959d1f628969aa21401529030af6c60269dcce43
Author: Christian Hergert <christian hergert me>
Date:   Mon Mar 7 21:16:03 2016 -0800

    source-view: fix motion-notify use for ctrl+click
    
    I'm seeing a sticky GDK_MOD2_MASK, which is interfering with this.

 libide/ide-source-view.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/ide-source-view.c b/libide/ide-source-view.c
index 4d9f51b..4b8cda0 100644
--- a/libide/ide-source-view.c
+++ b/libide/ide-source-view.c
@@ -2625,7 +2625,7 @@ ide_source_view_real_motion_notify_event (GtkWidget      *widget,
 
   ret = klass->motion_notify_event (widget, event);
 
-  if (event->state != DEFINITION_HIGHLIGHT_MODIFIER)
+  if ((event->state & DEFINITION_HIGHLIGHT_MODIFIER) == 0)
     {
       if (priv->definition_src_location)
         ide_source_view_reset_definition_highlight (self);