Dont readd the undo

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index b2dc4ca..db9e75e 100755 (executable)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -875,12 +875,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener
     redoList.push(command);
     command.undoCommand();
 
-   // HistoryItem nh,hi = (HistoryItem) historyList.pop();
-   // redoList.push(nh=new HistoryItem(hi.getDescription(), viewport.alignment,
-   //                               HistoryItem.HIDE));
-   // if (hi.alColumnChanges!=null)
-   //   nh.alColumnChanges = hi.alColumnChanges.getInverse();
-   // restoreHistoryItem(hi);
+
    viewport.hasHiddenColumns = viewport.colSel.getHiddenColumns()!=null;
    updateEditMenuBar();
     viewport.firePropertyChange("alignment", null, viewport.getAlignment().getSequences());
@@ -895,15 +890,10 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener
   {
     CommandI command = (CommandI) redoList.pop();
     historyList.push(command);
+    historyList.push(command);
     command.doCommand();
     viewport.hasHiddenColumns = viewport.colSel.getHiddenColumns()!=null;
 
-   // HistoryItem nh,hi = (HistoryItem) redoList.pop();
-  //  historyList.push(nh=new HistoryItem(hi.getDescription(), viewport.alignment,
-  //      HistoryItem.HIDE));
-  //  if (hi.alColumnChanges!=null)
-  //    nh.alColumnChanges=hi.alColumnChanges.getInverse();
-  //  restoreHistoryItem(hi);
     updateEditMenuBar();
     viewport.firePropertyChange("alignment", null, viewport.getAlignment().getSequences());
   }