From 20218c4363eb72de86c248b464e1c1f946d8231f Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 21 Mar 2005 18:49:29 +0000
Subject: [PATCH] alter vgap

---
 src/jalview/jbgui/GFontChooser.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java
index d49cc87..f93911a 100755
--- 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);
-- 
1.7.10.2