From dced869b5a728ef726f85893b0b0a6a7be75ec48 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 8 Dec 2005 15:34:59 +0000 Subject: [PATCH] Dont repaint if component has been removed --- src/jalview/appletgui/PaintRefresher.java | 4 ++-- src/jalview/gui/PaintRefresher.java | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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(); } } } -- 1.7.10.2