Repaint
authoramwaterhouse <Andrew Waterhouse>
Tue, 25 Jul 2006 12:57:59 +0000 (12:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 25 Jul 2006 12:57:59 +0000 (12:57 +0000)
src/jalview/gui/AlignFrame.java

index 155e7ee..a52481d 100755 (executable)
@@ -1431,13 +1431,14 @@ public class AlignFrame
     {\r
       viewport.hideSequence(seqs[i]);\r
     }\r
+\r
     alignPanel.repaint();\r
   }\r
 \r
   public void hideSelColumns_actionPerformed(ActionEvent e)\r
   {\r
     viewport.hideSelectedColumns();\r
-    repaint();\r
+    alignPanel.repaint();\r
   }\r
 \r
   public void hiddenMarkers_actionPerformed(ActionEvent e)\r