Example #1
0
  /**
   * Refreshs the title of a specified editor.
   *
   * @param id The index of the editor
   */
  public void refreshEditorTitle(String id) {

    AbstractEditorPanel editor = getEditor(id);

    if (editor != null) {
      TabComponent tabComponent = (TabComponent) getTabComponentAt(indexOfComponent(editor));
      tabComponent.setTitle(editor.getTitle());
    }
  }