home *** CD-ROM | disk | FTP | other *** search
/ PC World 2005 June / PCWorld_2005-06_cd.bin / software / vyzkuste / firewally / firewally.exe / framework-2.3.exe / AutoExpand.py < prev    next >
Text File  |  2003-12-30  |  2KB  |  84 lines
  1. import string
  2. import re
  3.  
  4. ###$ event <<expand-word>>
  5. ###$ win <Alt-slash>
  6. ###$ unix <Alt-slash>
  7.  
  8. class AutoExpand:
  9.  
  10.     menudefs = [
  11.         ('edit', [
  12.             ('E_xpand Word', '<<expand-word>>'),
  13.          ]),
  14.     ]
  15.  
  16.     wordchars = string.ascii_letters + string.digits + "_"
  17.  
  18.     def __init__(self, editwin):
  19.         self.text = editwin.text
  20.         self.state = None
  21.  
  22.     def expand_word_event(self, event):
  23.         curinsert = self.text.index("insert")
  24.         curline = self.text.get("insert linestart", "insert lineend")
  25.         if not self.state:
  26.             words = self.getwords()
  27.             index = 0
  28.         else:
  29.             words, index, insert, line = self.state
  30.             if insert != curinsert or line != curline:
  31.                 words = self.getwords()
  32.                 index = 0
  33.         if not words:
  34.             self.text.bell()
  35.             return "break"
  36.         word = self.getprevword()
  37.         self.text.delete("insert - %d chars" % len(word), "insert")
  38.         newword = words[index]
  39.         index = (index + 1) % len(words)
  40.         if index == 0:
  41.             self.text.bell()            # Warn we cycled around
  42.         self.text.insert("insert", newword)
  43.         curinsert = self.text.index("insert")
  44.         curline = self.text.get("insert linestart", "insert lineend")
  45.         self.state = words, index, curinsert, curline
  46.         return "break"
  47.  
  48.     def getwords(self):
  49.         word = self.getprevword()
  50.         if not word:
  51.             return []
  52.         before = self.text.get("1.0", "insert wordstart")
  53.         wbefore = re.findall(r"\b" + word + r"\w+\b", before)
  54.         del before
  55.         after = self.text.get("insert wordend", "end")
  56.         wafter = re.findall(r"\b" + word + r"\w+\b", after)
  57.         del after
  58.         if not wbefore and not wafter:
  59.             return []
  60.         words = []
  61.         dict = {}
  62.         # search backwards through words before
  63.         wbefore.reverse()
  64.         for w in wbefore:
  65.             if dict.get(w):
  66.                 continue
  67.             words.append(w)
  68.             dict[w] = w
  69.         # search onwards through words after
  70.         for w in wafter:
  71.             if dict.get(w):
  72.                 continue
  73.             words.append(w)
  74.             dict[w] = w
  75.         words.append(word)
  76.         return words
  77.  
  78.     def getprevword(self):
  79.         line = self.text.get("insert linestart", "insert")
  80.         i = len(line)
  81.         while i > 0 and line[i-1] in self.wordchars:
  82.             i = i-1
  83.         return line[i:]
  84.