From: amwaterhouse Date: Thu, 8 Dec 2005 15:34:59 +0000 (+0000) Subject: Dont repaint if component has been removed X-Git-Tag: Release_2_07~27 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=dced869b5a728ef726f85893b0b0a6a7be75ec48;p=jalview.git Dont repaint if component has been removed --- diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java index 2da1db6..9a220a4 100755 --- a/src/jalview/appletgui/PaintRefresher.java +++ b/src/jalview/appletgui/PaintRefresher.java @@ -62,8 +62,8 @@ public class PaintRefresher coms.removeElement( temp ); else if( temp == c ) continue; - - temp.repaint(); + else + temp.repaint(); } } diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java index 0fe4b85..e05f44d 100755 --- a/src/jalview/gui/PaintRefresher.java +++ b/src/jalview/gui/PaintRefresher.java @@ -90,8 +90,8 @@ public class PaintRefresher { continue; } - - temp.repaint(); + else + temp.repaint(); } } }