[gtk+] Popdown the bubble window when text view is scrolled

[Matthias Clasen <matthiasc src gnome org>]

commit 190dcfe050814e979c364bf74ae83530aba4c686
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Mar 1 17:19:39 2013 -0500

    Popdown the bubble window when text view is scrolled

 gtk/gtktextview.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 8efb587..57b858d 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);
     }
 }