Mercurial Hosting > junotu

changeset 49:a7df71cc80d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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();
 	}
     }