From 399ac31e058c44f4639c6e1c2a7f425d7fa28be8 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Fri, 21 Mar 2014 15:36:01 +0100
Subject: [PATCH] primitivus: EditBar doesn't propagate key pressed anymore if
 it manage a 'up' or 'down' event (history event)

---
 frontends/src/primitivus/primitivus | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/src/primitivus/primitivus b/frontends/src/primitivus/primitivus
index 8d93f9bd..da0b2b00 100755
--- a/frontends/src/primitivus/primitivus
+++ b/frontends/src/primitivus/primitivus
@@ -146,8 +146,10 @@ class EditBar(sat_widgets.ModalEdit):
             self.app._updateInputHistory(mode=self._modes[key][0])
         if key == "up":
             self.app._updateInputHistory(self.get_edit_text(), -1, history_cb, self.mode)
+            return
         elif key == "down":
             self.app._updateInputHistory(self.get_edit_text(), +1, history_cb, self.mode)
+            return
         elif key == "enter":
             self.app._updateInputHistory(self.get_edit_text(), mode=self.mode)
         else: