Mercurial Hosting > junotu

changeset 29:8db9285be2be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix card title cutting off underscores
author Fox
date Fri, 06 May 2022 17:18:39 +0200
parents cbaf2bbb1775
children 91344832aa2a
files src/junotu/GUIToolbox.java
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/junotu/GUIToolbox.java	Fri May 06 14:54:43 2022 +0200
+++ b/src/junotu/GUIToolbox.java	Fri May 06 17:18:39 2022 +0200
@@ -90,7 +90,7 @@
 	    content.setMaximumSize( new Dimension( preferred.width, Integer.MAX_VALUE ) );
 	    tags.setMaximumSize( new Dimension( preferred.width, Integer.MAX_VALUE ) );
 
-	    preferred.height = 32+4+Math.max(content.getPreferredSize().height, 32*12)+tags.getPreferredSize().height+512;
+	    preferred.height = 32+8+4+Math.max(content.getPreferredSize().height, 32*12)+tags.getPreferredSize().height+512;
 	    
 	    return preferred;
 	}
@@ -116,8 +116,8 @@
 	    int tagsHeight = (tags.getPreferredSize()).height+512;
 
 	    int y = 0;
-	    title.setBounds( 0, y, width, 32 );
-	    y += 32;
+	    title.setBounds( 0, y, width, 32+8 ); /* Underscores don't fit if I set height to font height exactly. :/ */
+	    y += 32+8;
 	    y += 4;
 	    content.setBounds( 0, y, width, contentHeight );
 	    y += contentHeight;