Searched refs:paintRects (Results 1 – 11 of 11) sorted by relevance
80 paintRects[i] = ra.paintRects[i]; in RepaintArea()103 if (paintRects[addTo] != null) { in add()104 paintRects[addTo].add(r); in add()123 paintRects[i] = null; in cloneAndReset()130 if (paintRects[i] != null) { in isEmpty()175 if (paintRects[i] != null && paintRects[i].isEmpty()) { in subtract()205 if (!subtract(ra.paintRects[VERTICAL], ra.paintRects[HORIZONTAL])) { in paint()206 subtract(ra.paintRects[HORIZONTAL], ra.paintRects[VERTICAL]); in paint()209 if (ra.paintRects[HORIZONTAL] != null && ra.paintRects[VERTICAL] != null) { in paint()210 Rectangle paintRect = ra.paintRects[HORIZONTAL].union(ra.paintRects[VERTICAL]); in paint()[all …]
57 def paintRects(self, painter, rects): member in Highlighter220 highlighter.paintRects(painter, rects)