From 039b229210210f49e00d160bf073b85f9bc027eb Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 23 Jun 2006 13:45:41 +0000
Subject: [PATCH] No need for repaint

---
 src/jalview/gui/AlignFrame.java |    9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

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());
   }
 
   /**
-- 
1.7.10.2