13861387138813891390139113921393139413951396
{ final Component at = editorPane.getTabComponentAt(i); if (at instanceof TabRenderer) { final TabRenderer renderer = (TabRenderer) at; renderer.setTitle(renderer.recomputeTabName()); } } updateFrameTitle(); }