Remove unnecessary refresh
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Nov 2006 14:27:12 +0000 (14:27 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Nov 2006 14:27:12 +0000 (14:27 +0000)
src/jalview/gui/PopupMenu.java

index 339a470..2eac486 100755 (executable)
@@ -1245,8 +1245,6 @@ public class PopupMenu extends JPopupMenu
       ap.av.firePropertyChange("alignment", null,\r
                                 ap.av.getAlignment().getSequences());\r
 \r
-\r
-  //    PaintRefresher.Refresh(this, ap.av.getSequenceSetId());\r
     }\r
   }\r
 \r