comparison frontends/src/primitivus/primitivus @ 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 f49945d728de
comparison
equal deleted inserted replaced
737:378af36155c2 738:e867f146d49f
138 def history_cb(text): 138 def history_cb(text):
139 self.set_edit_text(text) 139 self.set_edit_text(text)
140 self.set_edit_pos(len(text)) 140 self.set_edit_pos(len(text))
141 141
142 if key == "esc": 142 if key == "esc":
143 # first save the text to the current mode, then change to NORMAL
144 self.app._updateInputHistory(self.get_edit_text(), mode=self.mode)
143 self.app._updateInputHistory(mode='NORMAL') 145 self.app._updateInputHistory(mode='NORMAL')
144 if self._mode == 'NORMAL' and key in self._modes: 146 if self._mode == 'NORMAL' and key in self._modes:
145 self.app._updateInputHistory(mode=self._modes[key][0]) 147 self.app._updateInputHistory(mode=self._modes[key][0])
146 if key == "up": 148 if key == "up":
147 self.app._updateInputHistory(self.get_edit_text(), -1, history_cb, self.mode) 149 self.app._updateInputHistory(self.get_edit_text(), -1, history_cb, self.mode)