Mercurial Hosting > junotu
changeset 49:a7df71cc80d9
TabColumns: Fixed columns not visually disappearing after removal unless GUI is repainted
author | Fox |
---|---|
date | Tue, 08 Nov 2022 12:22:32 +0100 |
parents | e2e06241d69f |
children | 3431ab41f067 |
files | src/junotu/TabColumns.java |
diffstat | 1 files changed, 3 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/src/junotu/TabColumns.java Tue Nov 08 12:21:35 2022 +0100 +++ b/src/junotu/TabColumns.java Tue Nov 08 12:22:32 2022 +0100 @@ -252,8 +252,9 @@ return; columns.remove( (ColumnWidget)e.getSource() ); - /* TODO: FIXME: One of the columns is frequently (visually) not removed (until layout is manually refreshed). */ - columns.revalidate(); + //columns.revalidate(); + columns.validate(); + columns.repaint(); } }