No need for repaint
authoramwaterhouse <Andrew Waterhouse>
Fri, 23 Jun 2006 13:45:41 +0000 (13:45 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 23 Jun 2006 13:45:41 +0000 (13:45 +0000)
src/jalview/gui/AlignFrame.java

index f426f9c..b0b2b85 100755 (executable)
@@ -132,11 +132,13 @@ public class AlignFrame
       setGUINucleotide(al.isNucleotide());\r
     }\r
 \r
-    if(jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false))\r
+\r
+    if (jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false))\r
     {\r
       wrapMenuItem.setSelected(true);\r
       wrapMenuItem_actionPerformed(null);\r
     }\r
+\r
   }\r
 \r
   /* Set up intrinsic listeners for dynamically generated GUI bits. */\r
@@ -1381,12 +1383,11 @@ public class AlignFrame
    */\r
   public void wrapMenuItem_actionPerformed(ActionEvent e)\r
   {\r
-    viewport.setWrapAlignment(wrapMenuItem.isSelected());\r
-    alignPanel.setWrapAlignment(wrapMenuItem.isSelected());\r
     scaleAbove.setVisible(wrapMenuItem.isSelected());\r
     scaleLeft.setVisible(wrapMenuItem.isSelected());\r
     scaleRight.setVisible(wrapMenuItem.isSelected());\r
-    alignPanel.repaint();\r
+    viewport.setWrapAlignment(wrapMenuItem.isSelected());\r
+    alignPanel.setWrapAlignment(wrapMenuItem.isSelected());\r
   }\r
 \r
   /**\r