Resize inactive when mouse exited and no dragEvent
authoramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:05:31 +0000 (16:05 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:05:31 +0000 (16:05 +0000)
src/jalview/gui/AnnotationLabels.java

index 5667f84..a9adde4 100755 (executable)
@@ -270,7 +270,13 @@ public class AnnotationLabels extends JPanel implements MouseListener,
      * @param evt DOCUMENT ME!\r
      */\r
     public void mouseExited(MouseEvent evt)\r
-    {       }\r
+    {\r
+      if(dragEvent == null)\r
+      {\r
+        resizePanel = false;\r
+        repaint();\r
+      }\r
+    }\r
 \r
     /**\r
      * DOCUMENT ME!\r