changeset 738:e867f146d49f

primitivus: save the input history when "esc" is pressed
author souliane <souliane@mailoo.org>
date Mon, 25 Nov 2013 12:29:14 +0100
parents 378af36155c2
children 7b72d5c30ebc
files frontends/src/primitivus/primitivus
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/frontends/src/primitivus/primitivus	Mon Nov 25 01:56:07 2013 +0100
+++ b/frontends/src/primitivus/primitivus	Mon Nov 25 12:29:14 2013 +0100
@@ -140,6 +140,8 @@
             self.set_edit_pos(len(text))
 
         if key == "esc":
+            # first save the text to the current mode, then change to NORMAL
+            self.app._updateInputHistory(self.get_edit_text(), mode=self.mode)
             self.app._updateInputHistory(mode='NORMAL')
         if self._mode == 'NORMAL' and key in self._modes:
             self.app._updateInputHistory(mode=self._modes[key][0])