Group Menu level changed
[jalview.git] / src / jalview / gui / RedundancyPanel.java
index 3df55c1..ec896d5 100755 (executable)
@@ -261,7 +261,8 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
             ap.av.alignment.deleteSequence( deleted[i] );\r
             PaintRefresher.Refresh(this,\r
                                    ap.av.getSequenceSetId(),\r
-                                   deleted[i], null);\r
+                                   true,\r
+                                   true);\r
             if (sg != null)\r
             {\r
               sg.deleteSequence(deleted[i], false);\r
@@ -289,9 +290,9 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
       CommandI command = (CommandI) historyList.pop();\r
       command.undoCommand();\r
 \r
-      if (af.historyList.contains(command))\r
+      if (ap.av.historyList.contains(command))\r
       {\r
-        af.historyList.remove(command);\r
+        ap.av.historyList.remove(command);\r
         af.updateEditMenuBar();\r
       }\r
 \r