def _carets(inner, outer, direction): if direction == 'x': x0 = inner.left.value x1 = inner.right.value y0 = outer.top.value y1 = outer.bottom.value yield rectangle(vec2(x0,y0), vec2(0,y1-y0)).offset((1,1,1,1)) yield rectangle(vec2(x1,y0), vec2(0,y1-y0)).offset((1,1,1,1)) else: x0 = outer.left.value x1 = outer.right.value y0 = inner.top.value y1 = inner.bottom.value yield rectangle(vec2(x0,y0), vec2(x1-x0,0)).offset((1,1,1,1)) yield rectangle(vec2(x0,y1), vec2(x1-x0,0)).offset((1,1,1,1))
def selection(self, start, stop, base=0): if start <= base + len(self.source) and base <= stop: start = clamp(0, len(self.source), start - base) stop = clamp(0, len(self.source), stop - base) (x0, y0), (w0, h0) = self.surface.selection(start, stop) (x1, y1), (w1, h1) = self.box.value return rectangle(vec2(x0, y1), vec2(w0, h1))
def selection(self, head, tail): head = clamp(0, len(self.offsets) - 1, head) tail = clamp(0, len(self.offsets) - 1, tail) start = min(head, tail) stop = max(head, tail) base = self.geometry.base size = self.geometry.size x0 = self.offsets[start] x1 = self.offsets[stop] return rectangle(base + vec2(x0-1, -1), vec2(x1 - x0 + 1, size.y+1))
def _selection(inner, outer, direction, start, stop, base=0): if start <= base + 1 and base <= stop: start = clamp(0, 1, start - base) stop = clamp(0, 1, stop - base) if direction == 'x': x0 = (inner.left.value, inner.right.value)[start] x1 = (inner.left.value, inner.right.value)[stop] y0 = outer.top.value y1 = outer.bottom.value else: x0 = outer.left.value x1 = outer.right.value y0 = (inner.top.value, inner.bottom.value)[start] y1 = (inner.top.value, inner.bottom.value)[stop] return rectangle(vec2(x0,y0), vec2(x1-x0, y1-y0)).offset((1,1,1,1))
def __call__(self, sampler, geometry=None): if geometry == None and hasattr(sampler, "geometry"): geometry = sampler.geometry elif geometry == None: geometry = rectangle(vec2(0, 0), self.size) if hasattr(geometry, "valid") and not geometry.valid(): return if isinstance(sampler, rgba): (x, y), (w, h) = geometry self.pys.fill(tuple(sampler), (x, y, w, h)) elif hasattr(sampler, "blit_duck"): sampler.blit_duck(self.pys, geometry, 0) elif hasattr(sampler, "comm_duck"): sampler.comm_duck(self, geometry) else: raise Exception("unknown draw command %r, %r", (sampler, geometry)) return self
def value(self): left, top, right, bottom = self p0 = vec2(left.value, top.value) p1 = vec2(right.value, bottom.value) return rectangle(p0, p1-p0)
def caret(self, index): index = clamp(0, len(self.offsets) - 1, index) base = self.geometry.base size = self.geometry.size y = max(size.y, 8) return rectangle(base + vec2(self.offsets[index]-1, -1), vec2(1, y+1))
def carets(self): base = self.geometry.base size = self.geometry.size for offset in self.offsets: yield rectangle(base + vec2(offset-1, -1), vec2(1, size.y+1))
def __init__(self, pys, offsets, baseline, mathline): Surface.__init__(self, pys) self.offsets = offsets self.baseline = baseline self.mathline = mathline self.geometry = rectangle(vec2(0, 0), self.size)
def label_carets(self): (x1, y1), (w1, h1) = self.outer.value for (x0, y0), (w0, h0) in self.surface.carets(): yield rectangle(vec2(x0, y1), vec2(w0, h1))