scripts/history.py

   1 def onKeyPress(e):
   2     if not hasattr(e.window, 'history'):
   3         e.window.history = [], -1
   4
   5     if e.key in ('Up', 'Down'):
   6         h, i = e.window.history
   7
   8         if i == -1 and e.window.input.text:
   9             h.insert(0, e.window.input.text)
  10             i = 0
  11
  12         if e.key == 'Up':
  13             i += 1
  14
  15             if i < len(h):
  16                 e.window.history = h, i
  17
  18                 e.window.input.text = h[i]
  19                 e.window.input.cursor = -1
  20
  21         else: # e.key == 'Up'
  22             i -= 1
  23
  24             if i > -1:
  25                 e.window.history = h, i
  26
  27                 e.window.input.text = h[i]
  28                 e.window.input.cursor = -1
  29
  30             elif i == -1:
  31                 e.window.history = h, i
  32
  33                 e.window.input.text = ''
  34                 e.window.input.cursor = -1
  35
  36 def onInput(e):
  37     if not hasattr(e.window, 'history'):
  38         e.window.history = [], -1
  39
  40     if e.text:
  41         h, i = e.window.history
  42
  43         h.insert(0, e.text)
  44
  45         e.window.history = h, -1