X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FRedundancyPanel.java;h=a9d26908a1cac6d286d066e2aaceea292bb1b16f;hb=4815037f13748676b04b91dc761b73cf6f2d6ecd;hp=eac0d467a85af9a48a41191d756af0926234f092;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git

diff --git a/src/jalview/gui/RedundancyPanel.java b/src/jalview/gui/RedundancyPanel.java
index eac0d46..a9d2690 100755
--- a/src/jalview/gui/RedundancyPanel.java
+++ b/src/jalview/gui/RedundancyPanel.java
@@ -171,7 +171,8 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
     progress.setVisible(false);
     progress = null;
 
-    label.setText(MessageManager.getString("label.enter_redundancy_thereshold"));
+    label.setText(MessageManager
+            .getString("label.enter_redundancy_threshold"));
     slider.setVisible(true);
     applyButton.setEnabled(true);
     valueField.setVisible(true);
@@ -240,7 +241,8 @@ public class RedundancyPanel extends GSliderPanel 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());
 
       for (int i = 0; i < del.size(); i++)
@@ -257,7 +259,8 @@ public class RedundancyPanel extends GSliderPanel 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());
     }
 
   }
@@ -270,17 +273,19 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
    */
   public void undoButton_actionPerformed(ActionEvent e)
   {
-    if(historyList == null || historyList.isEmpty()){
-        undoButton.setEnabled(false);
-    	return;
+    if (historyList == null || historyList.isEmpty())
+    {
+      undoButton.setEnabled(false);
+      return;
     }
-    
+
     CommandI command = historyList.pop();
-    if (ap.av.historyList.contains(command))
+    if (ap.av.getHistoryList().contains(command))
     {
       command.undoCommand(af.getViewAlignments());
-      ap.av.historyList.remove(command);
-      ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());
+      ap.av.getHistoryList().remove(command);
+      ap.av.firePropertyChange("alignment", null, ap.av.getAlignment()
+              .getSequences());
       af.updateEditMenuBar();
     }