Method flush

app/src/processing/app/ui/EditorConsole.java:90–98

()

  protected void flush() {
    // only if new text has been added
    if (consoleDoc.hasAppendage()) {
      // insert the text that's been added in the meantime
      consoleDoc.insertAll();
      // always move to the end of the text as it's added
      consoleTextPane.setCaretPosition(consoleDoc.getLength());
    }
  }


  /**