From 7c562dea24843c09b684eed45d0b71f7211166f0 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 3 Nov 2006 14:27:12 +0000
Subject: [PATCH] Remove unnecessary refresh

---
 src/jalview/gui/PopupMenu.java |    2 --
 1 file changed, 2 deletions(-)

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 339a470..2eac486 100755
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -1245,8 +1245,6 @@ public class PopupMenu extends JPopupMenu
       ap.av.firePropertyChange("alignment", null,
                                 ap.av.getAlignment().getSequences());
 
-
-  //    PaintRefresher.Refresh(this, ap.av.getSequenceSetId());
     }
   }
 
-- 
1.7.10.2