CloseButtonTabbedPane does not update title after it was set to empty value
It was observed, that after a change to an empty title changing to a
title with content only works when the surrounding component is
resized, forcing a revalidation of the whole JTabbedPane.
Tested with the Terminal component.
Oberserved with Amazon Corretto 17.0.9 on Ubuntu Linux
diff --git a/platform/core.windows/src/org/netbeans/core/windows/view/ui/CloseButtonTabbedPane.java b/platform/core.windows/src/org/netbeans/core/windows/view/ui/CloseButtonTabbedPane.java
index 44cda9c..c36eb28 100644
--- a/platform/core.windows/src/org/netbeans/core/windows/view/ui/CloseButtonTabbedPane.java
+++ b/platform/core.windows/src/org/netbeans/core/windows/view/ui/CloseButtonTabbedPane.java
@@ -267,6 +267,12 @@
}
super.setTitleAt(idx, title);
+ // Force update of the special "CloseButton" UI. It was observed, that
+ // after a change to an empty title changing to a title with content
+ // only works when the surrounding component is resized, forcing a
+ // revalidation of the terminal
+ getTabComponentAt(idx).revalidate();
+ getTabComponentAt(idx).repaint();
}
private Component findTabAt(int index) {
