Mercurial Hosting > junotu

changeset 24:b66fc08656c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TabEdit: commented out lines that seem to have no effect
author Fox
date Thu, 05 May 2022 05:05:50 +0200
parents 222aafd9491b
children 64151d1c78b6
files src/junotu/TabEdit.java
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/junotu/TabEdit.java	Thu May 05 00:59:37 2022 +0200
+++ b/src/junotu/TabEdit.java	Thu May 05 05:05:50 2022 +0200
@@ -111,8 +111,8 @@
 	//content.setMaximumSize( new Dimension( Integer.MAX_VALUE, Integer.MAX_VALUE ) );
 	content.setLineWrap( true );
 	/* TODO: Figure out tags layout mess. */
-	tags.setPreferredSize( new Dimension( 16, 256 ) );
-	tags.setMaximumSize( new Dimension( Integer.MAX_VALUE, Integer.MAX_VALUE ) );
+	//tags.setPreferredSize( new Dimension( 16, 256 ) );
+	//tags.setMaximumSize( new Dimension( Integer.MAX_VALUE, Integer.MAX_VALUE ) );
 
 	this.add( scroll, BorderLayout.CENTER );
 	scrollContent.add( title );