X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAnnotationLabels.java;h=078886430aa3cead2ba4f7778732b2e2da86a980;hb=76b6b31c53b099a3034e0622ec78d4c2b455a309;hp=5667f84826c238243a9aaa2a427948922e7007b2;hpb=81ad99f80509533bd04ee0560d4938352f9785a0;p=jalview.git

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index 5667f84..0788864 100755
--- a/src/jalview/gui/AnnotationLabels.java
+++ b/src/jalview/gui/AnnotationLabels.java
@@ -270,7 +270,13 @@ public class AnnotationLabels extends JPanel implements MouseListener,
      * @param evt DOCUMENT ME!
      */
     public void mouseExited(MouseEvent evt)
-    {       }
+    {
+      if(dragEvent == null)
+      {
+        resizePanel = false;
+        repaint();
+      }
+    }
 
     /**
      * DOCUMENT ME!
@@ -407,9 +413,9 @@ public class AnnotationLabels extends JPanel implements MouseListener,
     public void drawComponent(Graphics g, int width)
     {
         if(av.getFont().getSize()<10)
-          g.setFont(new Font("Arial", Font.PLAIN, av.getFont().getSize()-1));
-        else
           g.setFont(font);
+        else
+          g.setFont(av.getFont());
 
         FontMetrics fm = g.getFontMetrics(g.getFont());
         g.setColor(Color.white);