From 5799d6efa93cc34d198e473c569455d2bd5d60df Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Fri, 1 Mar 2013 17:19:39 -0500
Subject: [PATCH] Popdown the bubble window when text view is scrolled

---
 gtk/gtktextview.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 8efb5870ef..57b858d5ed 100644
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -9091,8 +9091,12 @@ text_window_scroll        (GtkTextWindow *win,
                            gint           dx,
                            gint           dy)
 {
+  GtkTextView *view = GTK_TEXT_VIEW (win->widget);
+  GtkTextViewPrivate *priv = view->priv;
+
   if (dx != 0 || dy != 0)
     {
+      gtk_bubble_window_popdown (GTK_BUBBLE_WINDOW (priv->selection_bubble));
       gdk_window_scroll (win->bin_window, dx, dy);
     }
 }