[libview] Do not jump to link dest when clicking with GDK_CONTROL_MASK

Fixes bug #626407.

diff --git a/libview/ev-view.c b/libview/ev-view.c
index 471c66ca81aeb7c178e286020469dec8b9292896..4686560b6ff705ab21684fd856593d71f2ca7408 100644 (file)
--- a/libview/ev-view.c
+++ b/libview/ev-view.c
@@ -3996,7 +3996,12 @@ ev_view_button_release_event (GtkWidget      *widget,
                view->pressed_button = -1;
 
                return TRUE;
-       } 
+       }
+
+       if (view->pressed_button == 1 && event->state & GDK_CONTROL_MASK) {
+               view->pressed_button = -1;
+               return TRUE;
+       }
 
        if (view->drag_info.in_drag) {
                view->drag_info.release_timeout_id =