From d1c135b99c34e0eea52b464df91fbbd3a3c19446 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Mon, 24 Nov 2014 16:06:31 +0000 Subject: [PATCH] JAL-1264 update annotation panel dimensions before refresh --- src/jalview/gui/AlignFrame.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index 684e7ac..03a3944 100644 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -5797,7 +5797,8 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, aa.visible = visible; } } - this.alignPanel.paintAlignment(true); + alignPanel.validateAnnotationDimensions(false); + alignPanel.alignmentChanged(); } /** -- 1.7.10.2