Method processWindowEvent

src/main/java/gate/gui/MainFrame.java:2201–2207

Overridden so we can exit when window is closed

(WindowEvent e)

   * Overridden so we can exit when window is closed
   */
  @Override
  protected void processWindowEvent(WindowEvent e) {
    if(e.getID() == WindowEvent.WINDOW_CLOSING) {
      new ExitGateAction().actionPerformed(null);
    }
    super.processWindowEvent(e);
  }// processWindowEvent(WindowEvent e)

  public static java.util.Collection<Component> getGuiRoots() {
    return guiRoots;