Staging
v0.5.1
https://github.com/python/cpython
Raw File
Tip revision: fa38b3ee749388386914a6584b4c7d97aa474abe authored by cvs2svn on 22 December 1998, 21:43:35 UTC
This commit was manufactured by cvs2svn to create tag 'r152b1'.
Tip revision: fa38b3e
AutoIndent.py
import string

class AutoIndent:

    def __init__(self, text, prefertabs=0, spaceindent=4*" "):
        self.text = text
        self.prefertabs = prefertabs
        self.spaceindent = spaceindent
        text.bind("<<newline-and-indent>>", self.autoindent)
        text.bind("<<indent-region>>", self.indentregion)
        text.bind("<<dedent-region>>", self.dedentregion)
        text.bind("<<comment-region>>", self.commentregion)
        text.bind("<<uncomment-region>>", 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")
back to top