[gtk+] GtkTextView: allow to extend text selection with mouse scrollwheel

[Matthias Clasen <matthiasc src gnome org>]

commit 885b36a6d53d8a7ca4f594f27416fd4104b77082
Author: Nelson Benitez Leon <nbenitezl gmail com>
Date:   Tue Oct 22 12:24:55 2013 +0200

    GtkTextView: allow to extend text selection with mouse scrollwheel
    
    Fixes bug 710612

 gtk/gtktextview.c |   14 ++++++++++++++
 1 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 96dca1d..cdf7503 100644
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -8501,6 +8501,20 @@ gtk_text_view_value_changed (GtkAdjustment *adjustment,
       priv->first_validate_idle = 0;
     }
 
+  /* Allow to extend selection with mouse scrollwheel. Bug 710612 */
+  if (gtk_gesture_is_active (priv->drag_gesture))
+    {
+      GdkEvent *current_event;
+      current_event = gtk_get_current_event ();
+      if (current_event != NULL)
+        {
+          if (current_event->type == GDK_SCROLL)
+            move_mark_to_pointer_and_scroll (text_view, "insert");
+
+          gdk_event_free (current_event);
+        }
+    }
+
   /* Finally we update the IM cursor location again, to ensure any
    * changes made by the validation are pushed through.
    */