X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FRedundancyPanel.java;h=3df55c1455deb87a51cabcc46cc97f4fcd651443;hb=734272bb8bb9a23ba5bea463b948a49e4a366fb7;hp=2e136e0c9b4f8045241f7e702d36e5cee93edd47;hpb=ff5c339a6388a1f983a21008ef571cd15cacadd0;p=jalview.git 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)