def redraw(self): # redraw and go to waiting position
self._element.redraw()
self._stream.write(
ANSI.move(self._element.get_height() or self._console_dim_fn()[0],
0))
sys.stdout.flush()
sys.stderr.flush()
def redraw(self): height = self.get_height() if (height is not None) and (height != self._layout_height) and self._on_height_change: self._on_height_change() if self._is_dirty(): self._stream.write(ANSI.move(self._layout_pos)) self._draw() self._dirty_next = time.time() + self._dirty_interval