# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1409855081 -7200
# Node ID af395a6f25518e09dfa51c33d6d6a9ede2bcb4a5
# Parent  60ebe98c9d041d1c35b77e4b946dd68c3d3ceccf
primitivus: fixed forgotten keys

diff -r 60ebe98c9d04 -r af395a6f2551 frontends/src/primitivus/primitivus
--- a/frontends/src/primitivus/primitivus	Thu Sep 04 19:40:43 2014 +0200
+++ b/frontends/src/primitivus/primitivus	Thu Sep 04 20:24:41 2014 +0200
@@ -252,17 +252,17 @@
                 self.showPopUp(popup)
         super(PrimitivusApp, self).postInit()
 
-    def inputFilter(self, input, raw):
-        if self.__saved_overlay and input != ['ctrl s']:
+    def inputFilter(self, input_, raw):
+        if self.__saved_overlay and input_ != a_key['OVERLAY_HIDE']:
             return
-        for i in input:
+        for i in input_:
             if isinstance(i,tuple):
                 if i[0] == 'mouse press':
                     if i[1] == 4: #Mouse wheel up
-                        input[input.index(i)] = 'up'
+                        input_[input_.index(i)] = a_key['HISTORY_PREV']
                     if i[1] == 5: #Mouse wheel down
-                        input[input.index(i)] = 'down'
-        return input
+                        input_[input_.index(i)] = a_key['HISTORY_NEXT']
+        return input_
 
     def keyHandler(self, input_):
         if input_ == a_key['MENU_HIDE']: