From 44d9bd9b511490baec5302be3b7756be0adebde3 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 17 Jan 2005 16:12:06 +0000 Subject: [PATCH] RefreshPanels after a colour change --- src/jalview/gui/AlignmentPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 7856a42..3f7a781 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -122,8 +122,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene av.setGlobalColourScheme( ccs ); } - seqPanel.seqCanvas.paintFlag = true; - repaint(); + + RefreshPanels(); } public void RefreshPanels() -- 1.7.10.2