From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 28 Jul 2006 16:05:31 +0000 (+0000)
Subject: Resize inactive when mouse exited and no dragEvent
X-Git-Tag: Release_2_1~160
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=cdd6eb42a4fefe037865918acb279570343cf161;p=jalview.git

Resize inactive when mouse exited and no dragEvent
---

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!