/** * 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()); } }