Method selectTab

app/src/processing/app/Editor.java:1445–1466

Change the currently displayed tab. Note that the GUI might not update immediately, since this needs to run in the Event dispatch thread. @param index The index of the tab to select

(final int index)

   * @param index The index of the tab to select
   */
  public void selectTab(final int index) {
    currentTabIndex = index;
    updateUndoRedoState();
    updateTitle();
    header.rebuild();
    getCurrentTab().activated();

    // This must be run in the GUI thread
    SwingUtilities.invokeLater(() -> {
      codePanel.removeAll();
      EditorTab selectedTab = tabs.get(index);
      codePanel.add(selectedTab, BorderLayout.CENTER);
      selectedTab.applyPreferences();
      selectedTab.requestFocusInWindow(); // get the caret blinking
      // For some reason, these are needed. Revalidate says it should be
      // automatically called when components are added or removed, but without
      // it, the component switched to is not displayed. repaint() is needed to
      // clear the entire text area of any previous text.
      codePanel.revalidate();
      codePanel.repaint();
    });
  }

  public void selectNextTab() {
    selectTab((currentTabIndex + 1) % tabs.size());