From 9b67f33f94c43aac061f7c16c761b16f872a558a Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 26 Oct 2006 12:18:13 +0000 Subject: [PATCH] Dont readd the undo --- src/jalview/gui/AlignFrame.java | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index b2dc4ca..db9e75e 100755 --- 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()); } -- 1.7.10.2