|
13975
|
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', [
|
|
27074
|
12 ('E_xpand Word', '<<expand-word>>'),
|
|
13975
|
13 ]),
|
|
|
14 ]
|
|
|
15
|
|
25278
|
16 wordchars = string.ascii_letters + string.digits + "_"
|
|
13975
|
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:]
|
