Method setTabContents

java/src/processing/mode/java/JavaEditor.java:1069–1087

Set text contents of a specific tab. Updates underlying document and text area. Clears Breakpoints. @param tabFilename the tab file name @param code the text to set

(String tabFilename, String code)

   * @param code the text to set
   */
  protected void setTabContents(String tabFilename, String code) {
    // remove all breakpoints of this tab
    debugger.clearBreakpoints(tabFilename);

    SketchCode currentTab = getCurrentTab();

    // set code of tab
    SketchCode tab = getTab(tabFilename);
    if (tab != null) {
      tab.setProgram(code);
      // this updates document and text area
      // TODO: does this have any negative effects? (setting the doc to null)
      tab.setDocument(null);
      setCode(tab);

      // switch back to original tab
      setCode(currentTab);
    }
  }


  public void clearConsole() {