From: amwaterhouse Date: Wed, 15 Jun 2005 15:03:19 +0000 (+0000) Subject: paintrefresher X-Git-Tag: Release_2_0~23 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f714a7c40a08130e8e239828ecbe4503bb5ebafc;p=jalview.git paintrefresher --- diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java index f827fba..2718ddb 100755 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -659,8 +659,7 @@ public class SeqPanel changeEndRes = false; changeStartRes = false; stretchGroup = null; - seqCanvas.repaint(); - ap.idPanel.repaint(); + PaintRefresher.Refresh(av.alignment); } public void doMouseDraggedDefineMode(MouseEvent evt)