Method setTitle

src/main/java/gate/gui/MainFrame.java:2340–2345

Override to avoid Protege to change Frame title

(String title)

  /** Override to avoid Protege to change Frame title */
  @Override
  public synchronized void setTitle(String title) {
    if(titleChangable) {
      super.setTitle(title);
    } // if
  } // setTitle(String title)

  /**
   * Method is used in NewDSAction