Lib/idlelib/IdleHistory.py

   1 class History:
   2
   3     def __init__(self, text, output_sep = "\n"):
   4         self.text = text
   5         self.history = []
   6         self.history_prefix = None
   7         self.history_pointer = None
   8         self.output_sep = output_sep
   9         text.bind("<<history-previous>>", self.history_prev)
  10         text.bind("<<history-next>>", self.history_next)
  11
  12     def history_next(self, event):
  13         self.history_do(0)
  14         return "break"
  15
  16     def history_prev(self, event):
  17         self.history_do(1)
  18         return "break"
  19
  20     def _get_source(self, start, end):
  21         # Get source code from start index to end index.  Lines in the
  22         # text control may be separated by sys.ps2 .
  23         lines = self.text.get(start, end).split(self.output_sep)
  24         return "\n".join(lines)
  25
  26     def _put_source(self, where, source):
  27         output = self.output_sep.join(source.split("\n"))
  28         self.text.insert(where, output)
  29
  30     def history_do(self, reverse):
  31         nhist = len(self.history)
  32         pointer = self.history_pointer
  33         prefix = self.history_prefix
  34         if pointer is not None and prefix is not None:
  35             if self.text.compare("insert", "!=", "end-1c") or \
  36                self._get_source("iomark", "end-1c") != self.history[pointer]:
  37                 pointer = prefix = None
  38         if pointer is None or prefix is None:
  39             prefix = self._get_source("iomark", "end-1c")
  40             if reverse:
  41                 pointer = nhist
  42             else:
  43                 pointer = -1
  44         nprefix = len(prefix)
  45         while 1:
  46             if reverse:
  47                 pointer = pointer - 1
  48             else:
  49                 pointer = pointer + 1
  50             if pointer < 0 or pointer >= nhist:
  51                 self.text.bell()
  52                 if self._get_source("iomark", "end-1c") != prefix:
  53                     self.text.delete("iomark", "end-1c")
  54                     self._put_source("iomark", prefix)
  55                 pointer = prefix = None
  56                 break
  57             item = self.history[pointer]
  58             if item[:nprefix] == prefix and len(item) > nprefix:
  59                 self.text.delete("iomark", "end-1c")
  60                 self._put_source("iomark", item)
  61                 break
  62         self.text.mark_set("insert", "end-1c")
  63         self.text.see("insert")
  64         self.text.tag_remove("sel", "1.0", "end")
  65         self.history_pointer = pointer
  66         self.history_prefix = prefix
  67
  68     def history_store(self, source):
  69         source = source.strip()
  70         if len(source) > 2:
  71             # avoid duplicates
  72             try:
  73                 self.history.remove(source)
  74             except ValueError:
  75                 pass
  76             self.history.append(source)
  77         self.history_pointer = None
  78         self.history_prefix = None
  79
  80     def recall(self, s):
  81         s = s.strip()
  82         self.text.tag_remove("sel", "1.0", "end")
  83         self.text.delete("iomark", "end-1c")
  84         self.text.mark_set("insert", "end-1c")
  85         self.text.insert("insert", s)
  86         self.text.see("insert")