Method setTitle

basex-core/src/main/java/org/basex/gui/GUI.java:275–290

Sets the window title.

()

   * Sets the window title.
   */
  public void setTitle() {
    final TokenBuilder tb = new TokenBuilder();
    final EditorArea ea = editor == null ? null : editor.getEditor();
    if(ea != null) {
      tb.add(ea.opened() ? ea.file().path() : ea.file().name());
      if(ea.modified()) tb.add('*');
    }
    final Data data = context.data();
    if(data != null) {
      if(!tb.isEmpty()) tb.add(' ');
      tb.add("[").add(data.meta.name).add("]");
    }
    if(!tb.isEmpty()) tb.add(" - ");
    tb.add(TITLE);
    setTitle(tb.toString());
  }

  /**
   * Sets a cursor.