colorizer.py 10.4 KB
Newer Older
1
import builtins
2 3 4 5
import keyword
import re
import time

6
from idlelib.config import idleConf
7
from idlelib.delegator import Delegator
David Scherer's avatar
David Scherer committed
8

9
DEBUG = False
David Scherer's avatar
David Scherer committed
10

11 12 13
def any(name, alternates):
    "Return a named group pattern matching list of alternates."
    return "(?P<%s>" % name + "|".join(alternates) + ")"
David Scherer's avatar
David Scherer committed
14 15 16

def make_pat():
    kw = r"\b" + any("KEYWORD", keyword.kwlist) + r"\b"
17
    builtinlist = [str(name) for name in dir(builtins)
18 19
                                        if not name.startswith('_') and \
                                        name not in keyword.kwlist]
20
    # self.file = open("file") :
21 22
    # 1st 'file' colorized normal, 2nd as builtin, 3rd as string
    builtin = r"([^.'\"\\#]\b|^)" + any("BUILTIN", builtinlist) + r"\b"
David Scherer's avatar
David Scherer committed
23
    comment = any("COMMENT", [r"#[^\n]*"])
24 25 26 27 28
    stringprefix = r"(\br|u|ur|R|U|UR|Ur|uR|b|B|br|Br|bR|BR|rb|rB|Rb|RB)?"
    sqstring = stringprefix + r"'[^'\\\n]*(\\.[^'\\\n]*)*'?"
    dqstring = stringprefix + r'"[^"\\\n]*(\\.[^"\\\n]*)*"?'
    sq3string = stringprefix + r"'''[^'\\]*((\\.|'(?!''))[^'\\]*)*(''')?"
    dq3string = stringprefix + r'"""[^"\\]*((\\.|"(?!""))[^"\\]*)*(""")?'
David Scherer's avatar
David Scherer committed
29
    string = any("STRING", [sq3string, dq3string, sqstring, dqstring])
30 31
    return kw + "|" + builtin + "|" + comment + "|" + string +\
           "|" + any("SYNC", [r"\n"])
David Scherer's avatar
David Scherer committed
32 33 34 35

prog = re.compile(make_pat(), re.S)
idprog = re.compile(r"\s+(\w+)", re.S)

36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
def color_config(text):  # Called from htest, Editor, and Turtle Demo.
    '''Set color opitons of Text widget.

    Should be called whenever ColorDelegator is called.
    '''
    # Not automatic because ColorDelegator does not know 'text'.
    theme = idleConf.CurrentTheme()
    normal_colors = idleConf.GetHighlight(theme, 'normal')
    cursor_color = idleConf.GetHighlight(theme, 'cursor', fgBg='fg')
    select_colors = idleConf.GetHighlight(theme, 'hilite')
    text.config(
        foreground=normal_colors['foreground'],
        background=normal_colors['background'],
        insertbackground=cursor_color,
        selectforeground=select_colors['foreground'],
        selectbackground=select_colors['background'],
52 53
        inactiveselectbackground=select_colors['background'],  # new in 8.5
    )
54

David Scherer's avatar
David Scherer committed
55 56 57 58 59 60
class ColorDelegator(Delegator):

    def __init__(self):
        Delegator.__init__(self)
        self.prog = prog
        self.idprog = idprog
61
        self.LoadTagDefs()
David Scherer's avatar
David Scherer committed
62 63 64 65 66 67 68 69 70

    def setdelegate(self, delegate):
        if self.delegate is not None:
            self.unbind("<<toggle-auto-coloring>>")
        Delegator.setdelegate(self, delegate)
        if delegate is not None:
            self.config_colors()
            self.bind("<<toggle-auto-coloring>>", self.toggle_colorize_event)
            self.notify_range("1.0", "end")
71 72 73 74
        else:
            # No delegate - stop any colorizing
            self.stop_colorizing = True
            self.allow_colorizing = False
David Scherer's avatar
David Scherer committed
75 76 77 78

    def config_colors(self):
        for tag, cnf in self.tagdefs.items():
            if cnf:
79
                self.tag_configure(tag, **cnf)
David Scherer's avatar
David Scherer committed
80
        self.tag_raise('sel')
81

82
    def LoadTagDefs(self):
83
        theme = idleConf.CurrentTheme()
84 85 86
        self.tagdefs = {
            "COMMENT": idleConf.GetHighlight(theme, "comment"),
            "KEYWORD": idleConf.GetHighlight(theme, "keyword"),
87
            "BUILTIN": idleConf.GetHighlight(theme, "builtin"),
88 89 90 91
            "STRING": idleConf.GetHighlight(theme, "string"),
            "DEFINITION": idleConf.GetHighlight(theme, "definition"),
            "SYNC": {'background':None,'foreground':None},
            "TODO": {'background':None,'foreground':None},
Kurt B. Kaiser's avatar
Kurt B. Kaiser committed
92
            "ERROR": idleConf.GetHighlight(theme, "error"),
93 94 95
            # The following is used by ReplaceDialog:
            "hit": idleConf.GetHighlight(theme, "hit"),
            }
96

97
        if DEBUG: print('tagdefs',self.tagdefs)
David Scherer's avatar
David Scherer committed
98 99 100 101 102 103 104 105 106 107 108 109

    def insert(self, index, chars, tags=None):
        index = self.index(index)
        self.delegate.insert(index, chars, tags)
        self.notify_range(index, index + "+%dc" % len(chars))

    def delete(self, index1, index2=None):
        index1 = self.index(index1)
        self.delegate.delete(index1, index2)
        self.notify_range(index1)

    after_id = None
110 111
    allow_colorizing = True
    colorizing = False
David Scherer's avatar
David Scherer committed
112 113 114 115

    def notify_range(self, index1, index2=None):
        self.tag_add("TODO", index1, index2)
        if self.after_id:
116
            if DEBUG: print("colorizing already scheduled")
David Scherer's avatar
David Scherer committed
117 118
            return
        if self.colorizing:
119
            self.stop_colorizing = True
120
            if DEBUG: print("stop colorizing")
David Scherer's avatar
David Scherer committed
121
        if self.allow_colorizing:
122
            if DEBUG: print("schedule colorizing")
David Scherer's avatar
David Scherer committed
123 124 125 126 127 128 129 130
            self.after_id = self.after(1, self.recolorize)

    close_when_done = None # Window to be closed when done colorizing

    def close(self, close_when_done=None):
        if self.after_id:
            after_id = self.after_id
            self.after_id = None
131
            if DEBUG: print("cancel scheduled recolorizer")
David Scherer's avatar
David Scherer committed
132
            self.after_cancel(after_id)
133 134
        self.allow_colorizing = False
        self.stop_colorizing = True
David Scherer's avatar
David Scherer committed
135 136 137 138 139 140 141 142 143 144
        if close_when_done:
            if not self.colorizing:
                close_when_done.destroy()
            else:
                self.close_when_done = close_when_done

    def toggle_colorize_event(self, event):
        if self.after_id:
            after_id = self.after_id
            self.after_id = None
145
            if DEBUG: print("cancel scheduled recolorizer")
David Scherer's avatar
David Scherer committed
146 147
            self.after_cancel(after_id)
        if self.allow_colorizing and self.colorizing:
148
            if DEBUG: print("stop colorizing")
149
            self.stop_colorizing = True
David Scherer's avatar
David Scherer committed
150 151 152
        self.allow_colorizing = not self.allow_colorizing
        if self.allow_colorizing and not self.colorizing:
            self.after_id = self.after(1, self.recolorize)
153
        if DEBUG:
154 155
            print("auto colorizing turned",\
                  self.allow_colorizing and "on" or "off")
David Scherer's avatar
David Scherer committed
156 157 158 159 160
        return "break"

    def recolorize(self):
        self.after_id = None
        if not self.delegate:
161
            if DEBUG: print("no delegate")
David Scherer's avatar
David Scherer committed
162 163
            return
        if not self.allow_colorizing:
164
            if DEBUG: print("auto colorizing is off")
David Scherer's avatar
David Scherer committed
165 166
            return
        if self.colorizing:
167
            if DEBUG: print("already colorizing")
David Scherer's avatar
David Scherer committed
168 169
            return
        try:
170 171
            self.stop_colorizing = False
            self.colorizing = True
172
            if DEBUG: print("colorizing...")
173
            t0 = time.perf_counter()
David Scherer's avatar
David Scherer committed
174
            self.recolorize_main()
175
            t1 = time.perf_counter()
176
            if DEBUG: print("%.3f seconds" % (t1-t0))
David Scherer's avatar
David Scherer committed
177
        finally:
178
            self.colorizing = False
David Scherer's avatar
David Scherer committed
179
        if self.allow_colorizing and self.tag_nextrange("TODO", "1.0"):
180
            if DEBUG: print("reschedule colorizing")
David Scherer's avatar
David Scherer committed
181 182 183 184 185 186 187 188
            self.after_id = self.after(1, self.recolorize)
        if self.close_when_done:
            top = self.close_when_done
            self.close_when_done = None
            top.destroy()

    def recolorize_main(self):
        next = "1.0"
189
        while True:
David Scherer's avatar
David Scherer committed
190 191 192 193 194 195 196 197 198 199 200 201 202 203
            item = self.tag_nextrange("TODO", next)
            if not item:
                break
            head, tail = item
            self.tag_remove("SYNC", head, tail)
            item = self.tag_prevrange("SYNC", head)
            if item:
                head = item[1]
            else:
                head = "1.0"

            chars = ""
            next = head
            lines_to_get = 1
204
            ok = False
David Scherer's avatar
David Scherer committed
205 206 207 208 209 210 211
            while not ok:
                mark = next
                next = self.index(mark + "+%d lines linestart" %
                                         lines_to_get)
                lines_to_get = min(lines_to_get * 2, 100)
                ok = "SYNC" in self.tag_names(next + "-1c")
                line = self.get(mark, next)
212
                ##print head, "get", mark, next, "->", repr(line)
David Scherer's avatar
David Scherer committed
213 214
                if not line:
                    return
215
                for tag in self.tagdefs:
David Scherer's avatar
David Scherer committed
216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237
                    self.tag_remove(tag, mark, next)
                chars = chars + line
                m = self.prog.search(chars)
                while m:
                    for key, value in m.groupdict().items():
                        if value:
                            a, b = m.span(key)
                            self.tag_add(key,
                                         head + "+%dc" % a,
                                         head + "+%dc" % b)
                            if value in ("def", "class"):
                                m1 = self.idprog.match(chars, b)
                                if m1:
                                    a, b = m1.span(1)
                                    self.tag_add("DEFINITION",
                                                 head + "+%dc" % a,
                                                 head + "+%dc" % b)
                    m = self.prog.search(chars, m.end())
                if "SYNC" in self.tag_names(next + "-1c"):
                    head = next
                    chars = ""
                else:
238
                    ok = False
David Scherer's avatar
David Scherer committed
239 240 241 242 243 244 245 246 247 248
                if not ok:
                    # We're in an inconsistent state, and the call to
                    # update may tell us to stop.  It may also change
                    # the correct value for "next" (since this is a
                    # line.col string, not a true mark).  So leave a
                    # crumb telling the next invocation to resume here
                    # in case update tells us to leave.
                    self.tag_add("TODO", next)
                self.update()
                if self.stop_colorizing:
249
                    if DEBUG: print("colorizing stopped")
David Scherer's avatar
David Scherer committed
250 251
                    return

252
    def removecolors(self):
253
        for tag in self.tagdefs:
254
            self.tag_remove(tag, "1.0", "end")
David Scherer's avatar
David Scherer committed
255

256

257 258
def _color_delegator(parent):  # htest #
    from tkinter import Toplevel, Text
259
    from idlelib.percolator import Percolator
260 261 262

    top = Toplevel(parent)
    top.title("Test ColorDelegator")
263 264
    x, y = map(int, parent.geometry().split('+')[1:])
    top.geometry("200x100+%d+%d" % (x + 250, y + 175))
265 266
    source = "if somename: x = 'abc' # comment\nprint\n"
    text = Text(top, background="white")
David Scherer's avatar
David Scherer committed
267
    text.pack(expand=1, fill="both")
268 269 270
    text.insert("insert", source)
    text.focus_set()

271
    color_config(text)
David Scherer's avatar
David Scherer committed
272 273 274 275 276
    p = Percolator(text)
    d = ColorDelegator()
    p.insertfilter(d)

if __name__ == "__main__":
277 278 279
    import unittest
    unittest.main('idlelib.idle_test.test_colorizer',
                  verbosity=2, exit=False)
280

281 282
    from idlelib.idle_test.htest import run
    run(_color_delegator)