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.
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);
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);
float value = slider.getValue();
- List<SequenceI> redundantSequences = new ArrayList<SequenceI>();
+ List<SequenceI> redundantSequences = new ArrayList<>();
for (int i = 0; i < redundancy.length; i++)
{
if (value <= redundancy[i])
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());
}
}
{
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);
+ ap.paintAlignment(true, true);
if (historyList.size() == 0)
{