void flush() {
    if (myDisposed) return;
    myRequested.set(false);
    List<Pair<String, ConsoleViewContentType>> textChunks = new ArrayList<>(myTextChunks.size());
    myTextChunks.drainTo(textChunks);
    if (!textChunks.isEmpty()) {
      fireTextAdded(textChunks);
    }
  }
void flush()