Font size label

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index 3bc78be..5ae610f 100755 (executable)
--- a/src/jalview/gui/AnnotationLabels.java
+++ b/src/jalview/gui/AnnotationLabels.java
@@ -50,6 +50,7 @@ public class AnnotationLabels extends JPanel implements MouseListener,
     int mouseX;\r
     int selectedRow = 0;\r
     int scrollOffset = 0;\r
+    Font font = new Font("Arial", Font.PLAIN, 11);\r
 \r
 \r
     /**\r
@@ -376,7 +377,11 @@ public class AnnotationLabels extends JPanel implements MouseListener,
      */\r
     public void drawComponent(Graphics g, int width)\r
     {\r
-        g.setFont(new Font("Arial", Font.PLAIN, av.getFont().getSize()-3));\r
+        if(av.getFont().getSize()<10)\r
+          g.setFont(new Font("Arial", Font.PLAIN, av.getFont().getSize()-1));\r
+        else\r
+          g.setFont(font);\r
+\r
         FontMetrics fm = g.getFontMetrics(g.getFont());\r
         g.setColor(Color.white);\r
         g.fillRect(0, 0, getWidth(), getHeight());\r