PaintRefresh changed
[jalview.git] / src / jalview / gui / PopupMenu.java
index 7576173..d563e09 100755 (executable)
@@ -634,7 +634,7 @@ public class PopupMenu
     SequenceGroup sg = ap.av.getSelectionGroup();\r
     ap.av.alignment.deleteGroup(sg);\r
     ap.av.setSelectionGroup(null);\r
-    ap.repaint();\r
+    refresh();\r
   }\r
 \r
   void pdbMenuItem_actionPerformed(ActionEvent e)\r
@@ -676,7 +676,7 @@ public class PopupMenu
       sg.setOutlineColour(col);\r
     }\r
 \r
-    ap.repaint();\r
+    refresh();\r
   }\r
 \r
   public void showBoxes_actionPerformed(ActionEvent e)\r