From 8477c8b1832120cc034b9b96b2043d972b34c562 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Fri, 4 Jun 2010 15:39:01 +0000
Subject: [PATCH] ensure panel doesn't disappear when empty (patches for
 JAL-554 and JAL-570 and JAL-562)

---
 src/jalview/gui/AnnotationPanel.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
     }
 
-- 
1.7.10.2