From 9da72d5bf92cb3cc4645d7b15bcf8e83fd885a09 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 12 Dec 2005 13:31:49 +0000
Subject: [PATCH] FOnt size -3 for labels

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

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index 5eb5af5..3bc78be 100755
--- a/src/jalview/gui/AnnotationLabels.java
+++ b/src/jalview/gui/AnnotationLabels.java
@@ -376,7 +376,7 @@ public class AnnotationLabels extends JPanel implements MouseListener,
      */
     public void drawComponent(Graphics g, int width)
     {
-        g.setFont(new Font("Arial", Font.PLAIN, av.getFont().getSize()-2));
+        g.setFont(new Font("Arial", Font.PLAIN, av.getFont().getSize()-3));
         FontMetrics fm = g.getFontMetrics(g.getFont());
         g.setColor(Color.white);
         g.fillRect(0, 0, getWidth(), getHeight());
-- 
1.7.10.2