[gedit/gnome-3-2] externaltools: special case scroll event to do down scroll instead of horizontal

[Paolo Borelli <pborelli src gnome org>]

commit 71a6e785f50f106f7cf663eb3200aac7b7ab5125
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun Dec 25 20:42:10 2011 +0100

    externaltools: special case scroll event to do down scroll instead of horizontal

 plugins/externaltools/tools/manager.py |    8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index 7bf3090..a157b68 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -214,9 +214,11 @@ class LanguagesPopup(Gtk.Window):
 
         return res
 
-    def propagate_mouse_event(self, event):
+    def propagate_mouse_event(self, event, reverse=True):
         allwidgets = self.resolve_widgets(self.get_child())
-        allwidgets.reverse()
+
+        if reverse:
+            allwidgets.reverse()
 
         for widget in allwidgets:
             windows = self.resolve_windows(widget.get_window())
@@ -247,7 +249,7 @@ class LanguagesPopup(Gtk.Window):
             return self.propagate_mouse_event(event)
 
     def do_scroll_event(self, event):
-        return self.propagate_mouse_event(event)
+        return self.propagate_mouse_event(event, False)
 
     def do_motion_notify_event(self, event):
         return self.propagate_mouse_event(event)