From: amwaterhouse Date: Tue, 29 Aug 2006 15:22:59 +0000 (+0000) Subject: Additional repaint X-Git-Tag: Release_2_1_1~30 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e9dd76697f841c9704b9b4105a31266bf72211c6;p=jalview.git Additional repaint --- diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 22cb9e3..ec5d956 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -472,6 +472,7 @@ public class AlignmentPanel extends GAlignmentPanel height)); annotationPanel.repaint(); + repaint(); } }); }