Desktop screen caption component is not resized after its caption is changed #1251

This commit is contained in:
Yuriy Artamonov 2018-10-01 14:10:05 +04:00
parent cbff27ac00
commit 38a3b72b74

View File

@ -638,6 +638,13 @@ public class DesktopWindow implements Window, Component.Disposable,
JTabbedPaneExt jTabbedPaneExt = getJTabbedPaneExt(); JTabbedPaneExt jTabbedPaneExt = getJTabbedPaneExt();
jTabbedPaneExt.setTitleAt(jTabbedPaneExt.getSelectedIndex(), formattedCaption); jTabbedPaneExt.setTitleAt(jTabbedPaneExt.getSelectedIndex(), formattedCaption);
java.awt.Component tabHeaderComponent = jTabbedPaneExt.getTabComponentAt(jTabbedPaneExt.getSelectedIndex());
if (tabHeaderComponent != null) {
tabHeaderComponent.invalidate();
tabHeaderComponent.repaint();
}
windowManager.getBreadCrumbs(tabWindow).update(); windowManager.getBreadCrumbs(tabWindow).update();
} }