From: jprocter <Jim Procter>
Date: Fri, 4 Jun 2010 15:39:44 +0000 (+0000)
Subject: ensure panel doesn't disappear when empty (patches for JAL-554 and JAL-570 and JAL... 
X-Git-Tag: Release_2_5_1~32
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ad481f48061e9e21dc8db387c09a686f8700e626;p=jalview.git

ensure panel doesn't disappear when empty (patches for JAL-554 and JAL-570 and JAL-562)
---

diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java
index f408400..37c70b7 100755
--- a/src/jalview/gui/AnnotationPanel.java
+++ b/src/jalview/gui/AnnotationPanel.java
@@ -175,8 +175,9 @@ public class AnnotationPanel extends JPanel implements MouseListener,
         height += aa[i].height;
       }
     }
-    else
+    if (height==0)
     {
+      // set minimum
       height = 20;
     }