Refresh tab headers when showing an existing tab.
authorMathieu Baudier <mbaudier@argeo.org>
Fri, 9 Oct 2020 12:11:52 +0000 (14:11 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Fri, 9 Oct 2020 12:11:52 +0000 (14:11 +0200)
commit2d680061905c52c59160ce56f7b1317f33b320b2
tree0e52f4774729c4285a83d9519eef43007036fd21
parent32315b6eea1e2284e4269536b5fb7fee8cc03b8d
Refresh tab headers when showing an existing tab.
org.argeo.cms.ui/src/org/argeo/cms/ui/widgets/TabbedArea.java