def highlightBlock(self, text):
self.setFormat(0, text.length(), PythonHighlighter.Formats["normal"])
for tag, start, end, sublist in fontify(unicode(text), 0):
self.setFormat(start, end - start, PythonHighlighter.Formats[tag])
self.highlightMultiline(text)
def highlightBlock(self, text):
self.setFormat(0, text.length(), PythonHighlighter.Formats["normal"])
for tag, start, end, sublist in fontify(unicode(text), 0):
self.setFormat(start, end-start, PythonHighlighter.Formats[tag])
self.highlightMultiline(text)
def _colorize(self):
if not self._dirty:
return
storage = self._storage
source = self.getSource()
sourceLen = len(source)
dirtyStart = self._dirty.pop()
getColor = self._syntaxColors.get
setAttrs = storage.setAttributes_range_
getAttrs = storage.attributesAtIndex_effectiveRange_
basicAttrs = getBasicTextAttributes()
lastEnd = end = dirtyStart
count = 0
sameCount = 0
for tag, start, end, sublist in fontify(source, dirtyStart):
end = min(end, sourceLen)
rng = (start, end - start)
attrs = getColor(tag)
oldAttrs, oldRng = getAttrs(rng[0])
if attrs is not None:
clearRng = (lastEnd, start - lastEnd)
if clearRng[1]:
setAttrs(basicAttrs, clearRng)
setAttrs(attrs, rng)
if rng == oldRng and attrs == oldAttrs:
sameCount += 1
if sameCount > 4:
# due to backtracking we have to account for a few more
# tokens, but if we've seen a few tokens that were already
# colorized the way we want, we're done
return
else:
sameCount = 0
else:
rng = (lastEnd, end - lastEnd)
if rng[1]:
setAttrs(basicAttrs, rng)
count += 1
if count > 200:
# enough for now, schedule a new chunk
self._dirty.append(end)
self.scheduleColorize()
break
lastEnd = end
else:
# reset coloring at the end
end = min(sourceLen, end)
rng = (end, sourceLen - end)
if rng[1]:
setAttrs(basicAttrs, rng)
def _colorize(self):
if not self._dirty:
return
storage = self._storage
source = self.getSource()
sourceLen = len(source)
dirtyStart = self._dirty.pop()
getColor = self._syntaxColors.get
setAttrs = storage.setAttributes_range_
getAttrs = storage.attributesAtIndex_effectiveRange_
basicAttrs = getBasicTextAttributes()
lastEnd = end = dirtyStart
count = 0
sameCount = 0
for tag, start, end, sublist in fontify(source, dirtyStart):
end = min(end, sourceLen)
rng = (start, end - start)
attrs = getColor(tag)
oldAttrs, oldRng = getAttrs(rng[0], None)
if attrs is not None:
clearRng = (lastEnd, start - lastEnd)
if clearRng[1]:
setAttrs(basicAttrs, clearRng)
setAttrs(attrs, rng)
if rng == oldRng and attrs == oldAttrs:
sameCount += 1
if sameCount > 4:
# due to backtracking we have to account for a few more
# tokens, but if we've seen a few tokens that were already
# colorized the way we want, we're done
return
else:
sameCount = 0
else:
rng = (lastEnd, end - lastEnd)
if rng[1]:
setAttrs(basicAttrs, rng)
count += 1
if count > 200:
# enough for now, schedule a new chunk
self._dirty.append(end)
self.scheduleColorize()
break
lastEnd = end
else:
# reset coloring at the end
end = min(sourceLen, end)
rng = (end, sourceLen - end)
if rng[1]:
setAttrs(basicAttrs, rng)
