make annotation label font size follow alignment font size.

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index a9adde4..0788864 100755 (executable)
--- a/src/jalview/gui/AnnotationLabels.java
+++ b/src/jalview/gui/AnnotationLabels.java
@@ -413,9 +413,9 @@ public class AnnotationLabels extends JPanel implements MouseListener,
     public void drawComponent(Graphics g, int width)\r
     {\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
+        else\r
+          g.setFont(av.getFont());\r
 \r
         FontMetrics fm = g.getFontMetrics(g.getFont());\r
         g.setColor(Color.white);\r