Mercurial Hosting > junotu

changeset 48:e2e06241d69f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TabColumns: Instead of adding struts, columns now have invisible border
author Fox
date Tue, 08 Nov 2022 12:21:35 +0100
parents bad4e8bb769e
children a7df71cc80d9
files src/junotu/TabColumns.java
diffstat 1 files changed, 10 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/src/junotu/TabColumns.java	Tue Nov 08 12:00:07 2022 +0100
+++ b/src/junotu/TabColumns.java	Tue Nov 08 12:21:35 2022 +0100
@@ -87,12 +87,15 @@
 	    this.setMaximumSize( new Dimension( COLUMN_WIDTH, 1000000 ) );
 
 	    this.setBorder(
-	        BorderFactory.createTitledBorder(
-		    BorderFactory.createEtchedBorder(),
-		    "Border title, but very very very long",
-		    TitledBorder.LEADING,
-		    TitledBorder.TOP,
-		    new Font( "Monospaced", Font.BOLD, 16 )
+		BorderFactory.createCompoundBorder(
+		    BorderFactory.createEmptyBorder( 0, 8, 0, 8 ),
+	            BorderFactory.createTitledBorder(
+		        BorderFactory.createEtchedBorder(),
+		            "Border title, but very very very long",
+		            TitledBorder.LEADING,
+		            TitledBorder.TOP,
+		            new Font( "Monospaced", Font.BOLD, 16 )
+		    )
 		)
 	    );
 
@@ -238,7 +241,7 @@
 	ColumnWidget column = new ColumnWidget();
 	column.titleSet("New column");
 	column.addMouseListener(this);
-	columns.add( Box.createHorizontalStrut(16) );
+	//columns.add( Box.createHorizontalStrut(16) );
 	columns.add(column);
     }