Method run

src/main/java/gate/gui/MainFrame.java:483–493

()

        // put the focus on the new tab
        SwingUtilities.invokeLater(new Runnable() {
          @Override
          public void run() {
            if (largeView != null) {
              if ((largeView instanceof JTabbedPane)
              && (((JTabbedPane)largeView).getSelectedComponent() != null)) {
                ((JTabbedPane)largeView).getSelectedComponent().requestFocus();
              } else {
                largeView.requestFocus();
              }
            }
          }
        });
      }
    }