From: amwaterhouse Date: Fri, 23 Jun 2006 13:45:41 +0000 (+0000) Subject: No need for repaint X-Git-Tag: Release_2_1~324 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=039b229210210f49e00d160bf073b85f9bc027eb;p=jalview.git No need for repaint --- diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index f426f9c..b0b2b85 100755 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -132,11 +132,13 @@ public class AlignFrame setGUINucleotide(al.isNucleotide()); } - if(jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false)) + + if (jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false)) { wrapMenuItem.setSelected(true); wrapMenuItem_actionPerformed(null); } + } /* Set up intrinsic listeners for dynamically generated GUI bits. */ @@ -1381,12 +1383,11 @@ public class AlignFrame */ public void wrapMenuItem_actionPerformed(ActionEvent e) { - viewport.setWrapAlignment(wrapMenuItem.isSelected()); - alignPanel.setWrapAlignment(wrapMenuItem.isSelected()); scaleAbove.setVisible(wrapMenuItem.isSelected()); scaleLeft.setVisible(wrapMenuItem.isSelected()); scaleRight.setVisible(wrapMenuItem.isSelected()); - alignPanel.repaint(); + viewport.setWrapAlignment(wrapMenuItem.isSelected()); + alignPanel.setWrapAlignment(wrapMenuItem.isSelected()); } /**