|
8 | 8 |
|
9 | 9 | DEBUG = False |
10 | 10 |
|
| 11 | +# Adding a tag to a line takes time proportional to the number of tags |
| 12 | +# already in the line, so only the beginning of a line is colorized; |
| 13 | +# the rest is usually not visible anyway (gh-103089). |
| 14 | +MAX_COLORIZED_LINE = 2000 |
| 15 | + |
11 | 16 |
|
12 | 17 | def any(name, alternates): |
13 | 18 | "Return a named group pattern matching list of alternates." |
@@ -350,16 +355,39 @@ def _add_tags_in_section(self, chars, head): |
350 | 355 | `chars` is a string with the text to parse and to which |
351 | 356 | highlighting is to be applied. |
352 | 357 |
|
353 | | - `head` is the index in the text widget where the text is found. |
| 358 | + `head` is the index in the text widget where the text is found. |
354 | 359 | """ |
355 | | - for m in self.prog.finditer(chars): |
| 360 | + # Positions are relative to the start of the current line, so that |
| 361 | + # Tk does not resolve them through the previous lines. |
| 362 | + line = int(head.split('.')[0]) |
| 363 | + line_start = 0 # Offset of the current line in chars. |
| 364 | + tags = [] |
| 365 | + pos = 0 |
| 366 | + while True: |
| 367 | + m = self.prog.search(chars, pos) |
| 368 | + if m is None: |
| 369 | + break |
356 | 370 | for name, matched_text in matched_named_groups(m): |
357 | 371 | a, b = m.span(name) |
358 | | - self._add_tag(a, b, head, name) |
| 372 | + tags.append((a - line_start, b - line_start, head, name)) |
359 | 373 | if matched_text in ("def", "class"): |
360 | 374 | if m1 := self.idprog.match(chars, b): |
361 | 375 | a, b = m1.span(1) |
362 | | - self._add_tag(a, b, head, "DEFINITION") |
| 376 | + tags.append((a - line_start, b - line_start, |
| 377 | + head, "DEFINITION")) |
| 378 | + pos = m.end() |
| 379 | + if '\n' in m[0]: |
| 380 | + line += m[0].count('\n') |
| 381 | + line_start = m.start() + m[0].rindex('\n') + 1 |
| 382 | + head = f"{line}.0" |
| 383 | + elif pos - line_start >= MAX_COLORIZED_LINE: |
| 384 | + # The rest of a long line is not colorized. |
| 385 | + pos = chars.find('\n', pos) |
| 386 | + if pos < 0: |
| 387 | + break |
| 388 | + # Adding a tag is faster if there are no tags after it. |
| 389 | + for args in reversed(tags): |
| 390 | + self._add_tag(*args) |
363 | 391 |
|
364 | 392 | def removecolors(self): |
365 | 393 | "Remove all colorizing tags." |
|