git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 198a432)
alter vgap
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:49:29 +0000 (18:49 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:49:29 +0000 (18:49 +0000)
src/jalview/jbgui/GFontChooser.java patch | blob | history

diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java
index d49cc87..f93911a 100755 (executable)
--- a/src/jalview/jbgui/GFontChooser.java
+++ b/src/jalview/jbgui/GFontChooser.java
@@ -107,7 +107,7 @@ public class GFontChooser extends JPanel
     jPanel3.setOpaque(false);
     jPanel3.setLayout(borderLayout2);
     flowLayout1.setAlignment(FlowLayout.CENTER);
-    flowLayout1.setVgap(10);
+    flowLayout1.setVgap(5);
     this.add(jPanel1, null);
     jPanel1.add(jLabel1, BorderLayout.WEST);
     jPanel1.add(fontName, BorderLayout.CENTER);