import string class AutoIndent: def __init__(self, text, prefertabs=0, spaceindent=4*" "): self.text = text self.prefertabs = prefertabs self.spaceindent = spaceindent text.bind("<>", self.autoindent) text.bind("<>", self.indentregion) text.bind("<>", self.dedentregion) text.bind("<>", self.commentregion) text.bind("<>", self.uncommentregion) def config(self, **options): for key, value in options.items(): if key == 'prefertabs': self.prefertabs = value elif key == 'spaceindent': self.spaceindent = value else: raise KeyError, "bad option name: %s" % `key` def autoindent(self, event): text = self.text line = text.get("insert linestart", "insert") i, n = 0, len(line) while i < n and line[i] in " \t": i = i+1 indent = line[:i] lastchar = text.get("insert -1c") if lastchar == ":": if not indent: if self.prefertabs: indent = "\t" else: indent = self.spaceindent elif indent[-1] == "\t": indent = indent + "\t" else: indent = indent + self.spaceindent text.insert("insert", "\n" + indent) text.see("insert") return "break" def indentregion(self, event): head, tail, chars, lines = self.getregion() for pos in range(len(lines)): line = lines[pos] if line: i, n = 0, len(line) while i < n and line[i] in " \t": i = i+1 line = line[:i] + " " + line[i:] lines[pos] = line self.setregion(head, tail, chars, lines) return "break" def dedentregion(self, event): head, tail, chars, lines = self.getregion() for pos in range(len(lines)): line = lines[pos] if line: i, n = 0, len(line) while i < n and line[i] in " \t": i = i+1 indent, line = line[:i], line[i:] if indent: if indent == "\t" or indent[-2:] == "\t\t": indent = indent[:-1] + " " elif indent[-4:] == " ": indent = indent[:-4] else: indent = string.expandtabs(indent, 8) indent = indent[:-4] line = indent + line lines[pos] = line self.setregion(head, tail, chars, lines) return "break" def commentregion(self, event): head, tail, chars, lines = self.getregion() for pos in range(len(lines)): line = lines[pos] if not line: continue lines[pos] = '##' + line self.setregion(head, tail, chars, lines) def uncommentregion(self, event): head, tail, chars, lines = self.getregion() for pos in range(len(lines)): line = lines[pos] if not line: continue if line[:2] == '##': line = line[2:] elif line[:1] == '#': line = line[1:] lines[pos] = line self.setregion(head, tail, chars, lines) def getregion(self): text = self.text head = text.index("sel.first linestart") tail = text.index("sel.last -1c lineend +1c") if not (head and tail): head = text.index("insert linestart") tail = text.index("insert lineend +1c") chars = text.get(head, tail) lines = string.split(chars, "\n") return head, tail, chars, lines def setregion(self, head, tail, chars, lines): text = self.text newchars = string.join(lines, "\n") if newchars == chars: text.bell() return text.tag_remove("sel", "1.0", "end") text.mark_set("insert", head) text.delete(head, tail) text.insert(head, newchars) text.tag_add("sel", head, "insert")