Method switchToTab

java/src/processing/mode/java/JavaEditor.java:1733–1741

Switch to a tab. @param tabFileName the file name identifying the tab. (as in SketchCode#getFileName())

(String tabFileName)

   * {@link SketchCode#getFileName()})
   */
  public void switchToTab(String tabFileName) {
    Sketch s = getSketch();
    for (int i = 0; i < s.getCodeCount(); i++) {
      if (tabFileName.equals(s.getCode(i).getFileName())) {
        s.setCurrentCode(i);
        break;
      }
    }
  }


  public Debugger getDebugger() {