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