Method setEditor

app/src/processing/app/ui/EditorConsole.java:202–207

(Editor editor)

  static public void setEditor(Editor editor) {
    if (current != null) {
      current.stopTimer();  // allow to be garbage collected
    }
    editor.console.setCurrent();
  }


  void setCurrent() {