From cdd6eb42a4fefe037865918acb279570343cf161 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 28 Jul 2006 16:05:31 +0000
Subject: [PATCH] Resize inactive when mouse exited and no dragEvent

---
 src/jalview/gui/AnnotationLabels.java |    8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index 5667f84..a9adde4 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!
-- 
1.7.10.2