X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FRedundancyPanel.java;h=4aea837ad932aa04e10642c67ab9bd3bb1151864;hb=4d7f98a6dd54d9863ba449ec79dcd95d25ed863d;hp=43614457fb2e9f0545127d18aa04ff2352b20912;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git

diff --git a/src/jalview/appletgui/RedundancyPanel.java b/src/jalview/appletgui/RedundancyPanel.java
index 4361445..4aea837 100644
--- a/src/jalview/appletgui/RedundancyPanel.java
+++ b/src/jalview/appletgui/RedundancyPanel.java
@@ -206,7 +206,8 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
         }
       }
 
-      EditCommand cut = new EditCommand(MessageManager.getString("action.remove_redundancy"),
+      EditCommand cut = new EditCommand(
+              MessageManager.getString("action.remove_redundancy"),
               Action.CUT, deleted, 0, width, ap.av.getAlignment());
       AlignmentI alignment = ap.av.getAlignment();
       for (int i = 0; i < del.size(); i++)
@@ -223,7 +224,8 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
       ap.alignFrame.addHistoryItem(cut);
 
       PaintRefresher.Refresh(this, ap.av.getSequenceSetId(), true, true);
-       ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());
+      ap.av.firePropertyChange("alignment", null, ap.av.getAlignment()
+              .getSequences());
     }
 
   }
@@ -233,11 +235,12 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
     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());
+      ap.av.firePropertyChange("alignment", null, ap.av.getAlignment()
+              .getSequences());
     }
 
     ap.paintAlignment(true);