pump method

void pump()

Forces a rebuild of the element tree and repaints to the internal buffer.

Implementation

void pump() {
  final rootElement = _rootElement;
  if (rootElement != null) {
    rootElement.markNeedsBuild();
  }
  render();
}