From ad481f48061e9e21dc8db387c09a686f8700e626 Mon Sep 17 00:00:00 2001 From: jprocter Date: Fri, 4 Jun 2010 15:39:44 +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