CommandI command = (CommandI) historyList.pop();
command.undoCommand(null);
- if (ap.av.historyList.contains(command))
+ if (ap.av.getHistoryList().contains(command))
{
- ap.av.historyList.removeElement(command);
+ ap.av.getHistoryList().remove(command);
ap.alignFrame.updateEditMenuBar();
ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());
}