Dont repaint if component has been removed
authoramwaterhouse <Andrew Waterhouse>
Thu, 8 Dec 2005 15:34:59 +0000 (15:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 8 Dec 2005 15:34:59 +0000 (15:34 +0000)
src/jalview/appletgui/PaintRefresher.java
src/jalview/gui/PaintRefresher.java

index 2da1db6..9a220a4 100755 (executable)
@@ -62,8 +62,8 @@ public class PaintRefresher
         coms.removeElement( temp );\r
       else if( temp == c )\r
         continue;\r
-\r
-      temp.repaint();\r
+      else\r
+        temp.repaint();\r
     }\r
 \r
   }\r
index 0fe4b85..e05f44d 100755 (executable)
@@ -90,8 +90,8 @@ public class PaintRefresher
             {\r
                 continue;\r
             }\r
-\r
-            temp.repaint();\r
+            else\r
+                temp.repaint();\r
         }\r
     }\r
 }\r