X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FRedundancyPanel.java;h=ec896d596f591b07148f892554478e05e3750da8;hb=f62b380e6e3cdbce3af5730f682aad99116509c9;hp=2e136e0c9b4f8045241f7e702d36e5cee93edd47;hpb=d426f538337d32aad42cedd555446dff7e8cffc2;p=jalview.git

diff --git a/src/jalview/gui/RedundancyPanel.java b/src/jalview/gui/RedundancyPanel.java
index 2e136e0..ec896d5 100755
--- a/src/jalview/gui/RedundancyPanel.java
+++ b/src/jalview/gui/RedundancyPanel.java
@@ -239,7 +239,6 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
           }
         }
 
-
         // This has to be done before the restoreHistoryItem method of alignFrame will
         // actually restore these sequences.
         if (del.size() > 0)
@@ -262,7 +261,8 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
             ap.av.alignment.deleteSequence( deleted[i] );
             PaintRefresher.Refresh(this,
                                    ap.av.getSequenceSetId(),
-                                   deleted[i], null);
+                                   true,
+                                   true);
             if (sg != null)
             {
               sg.deleteSequence(deleted[i], false);
@@ -271,6 +271,8 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
 
           historyList.push(cut);
 
+          ap.alignFrame.addHistoryItem(cut);
+
           ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());
         }
 
@@ -288,6 +290,12 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
       CommandI command = (CommandI) historyList.pop();
       command.undoCommand();
 
+      if (ap.av.historyList.contains(command))
+      {
+        ap.av.historyList.remove(command);
+        af.updateEditMenuBar();
+      }
+
       ap.repaint();
 
       if (historyList.size() == 0)