Merge branch 'develop' into releases/Release_2_10_2_Branch
[jalview.git] / src / jalview / appletgui / RedundancyPanel.java
index 6be416c..2aba20c 100644 (file)
@@ -40,8 +40,8 @@ import java.util.List;
 import java.util.Stack;
 import java.util.Vector;
 
-public class RedundancyPanel extends SliderPanel implements Runnable,
-        WindowListener
+public class RedundancyPanel extends SliderPanel
+        implements Runnable, WindowListener
 {
   Stack historyList = new Stack(); // simpler than synching with alignFrame.
 
@@ -63,8 +63,8 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
     applyButton.setVisible(true);
     allGroupsCheck.setVisible(false);
 
-    label.setText(MessageManager
-            .getString("label.enter_redundancy_threshold"));
+    label.setText(
+            MessageManager.getString("label.enter_redundancy_threshold"));
     valueField.setText("100");
 
     slider.setVisibleAmount(1);
@@ -140,8 +140,8 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
 
     redundancy = AlignSeq.computeRedundancyMatrix(originalSequences,
             omitHidden, start, end, false);
-    label.setText(MessageManager
-            .getString("label.enter_redundancy_threshold"));
+    label.setText(
+            MessageManager.getString("label.enter_redundancy_threshold"));
     slider.setVisible(true);
     applyButton.setEnabled(true);
     valueField.setVisible(true);
@@ -227,8 +227,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());
     }
 
   }
@@ -243,8 +243,8 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
     {
       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);