Method quit

basex-core/src/main/java/org/basex/gui/GUI.java:247–255

Closes the GUI. @return success flag

()

   * @return success flag
   */
  public boolean quit() {
    if(editor.confirm(null)) {
      saveOptions();
      context.close();
      super.dispose();
      return true;
    }
    return false;
  }

  /**
   * Saves the current configuration.