From 734272bb8bb9a23ba5bea463b948a49e4a366fb7 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 25 Oct 2006 14:02:07 +0000 Subject: [PATCH] EditCommand added to AlignFrame --- src/jalview/gui/RedundancyPanel.java | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/RedundancyPanel.java b/src/jalview/gui/RedundancyPanel.java index 2e136e0..3df55c1 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) @@ -271,6 +270,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 +289,12 @@ public class RedundancyPanel extends GSliderPanel implements Runnable CommandI command = (CommandI) historyList.pop(); command.undoCommand(); + if (af.historyList.contains(command)) + { + af.historyList.remove(command); + af.updateEditMenuBar(); + } + ap.repaint(); if (historyList.size() == 0) -- 1.7.10.2