[gedit] externaltools: add GDK_SCROLL_MASK

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 985f3908abe3f2ade53db1364dccf0d1fd61ec1b
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun Dec 25 19:39:37 2011 +0100

    externaltools: add GDK_SCROLL_MASK

 plugins/externaltools/tools/manager.py |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index ed602f3..d353a3e 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -59,7 +59,7 @@ class LanguagesPopup(Gtk.Window):
                                Gdk.GrabOwnership.WINDOW, False,
                                Gdk.EventMask.KEY_PRESS_MASK |
                                Gdk.EventMask.KEY_RELEASE_MASK,
-                               None, 0L)
+                               None, Gdk.CURRENT_TIME)
         self.pointer.grab(self.get_window(),
                           Gdk.GrabOwnership.WINDOW, False,
                           Gdk.EventMask.BUTTON_PRESS_MASK |
@@ -68,8 +68,9 @@ class LanguagesPopup(Gtk.Window):
                           Gdk.EventMask.ENTER_NOTIFY_MASK |
                           Gdk.EventMask.LEAVE_NOTIFY_MASK |
                           Gdk.EventMask.PROXIMITY_IN_MASK |
-                          Gdk.EventMask.PROXIMITY_OUT_MASK,
-                          None, 0L)
+                          Gdk.EventMask.PROXIMITY_OUT_MASK |
+                          Gdk.EventMask.SCROLL_MASK,
+                          None, Gdk.CURRENT_TIME)
 
         self.view.get_selection().select_path((0,))