Method stopTimer

app/src/processing/app/ui/EditorConsole.java:113–119

()

  protected void stopTimer() {
    if (flushTimer != null) {
      flush();  // clear anything that's there
      flushTimer.stop();
      flushTimer = null;
    }
  }


  public PrintStream getOut() {