import java.awt.event.WindowEvent;
import java.util.List;
-public class SliderPanel extends Panel implements ActionListener,
- AdjustmentListener, MouseListener
+public class SliderPanel extends Panel
+ implements ActionListener, AdjustmentListener, MouseListener
{
private static final String BACKGROUND = "Background";
}
conservationSlider.setTitle(MessageManager.formatMessage(
- "label.conservation_colour_increment",
- new String[] { source == null ? BACKGROUND : source }));
+ "label.conservation_colour_increment", new String[]
+ { source == null ? BACKGROUND : source }));
List<SequenceGroup> groups = ap.av.getAlignment().getGroups();
if (groups != null && !groups.isEmpty())
{
pid.valueField.setText(String.valueOf(ccs.getThreshold()));
}
PIDSlider.setTitle(MessageManager.formatMessage(
- "label.percentage_identity_threshold",
- new String[] { source == null ? BACKGROUND : source }));
+ "label.percentage_identity_threshold", new String[]
+ { source == null ? BACKGROUND : source }));
if (ap.av.getAlignment().getGroups() != null)
{
if (!PIDSlider.isVisible())
{
- jalview.bin.JalviewLite.addFrame(PIDSlider, PIDSlider.getTitle(),
- 420, 100);
+ jalview.bin.JalviewLite.addFrame(PIDSlider, PIDSlider.getTitle(), 420,
+ 100);
PIDSlider.addWindowListener(new WindowAdapter()
{
@Override
conservationSlider = null;
}
}
+
public SliderPanel(AlignmentPanel ap, int value, boolean forConserve,
ResidueShaderI shader)
{
valueChanged(slider.getValue());
}
});
-
+
label.setFont(new java.awt.Font("Verdana", 0, 11));
label.setText(MessageManager.getString("label.set_this_label_text"));
jPanel1.setLayout(borderLayout1);
undoButton.addActionListener(this);
allGroupsCheck.setEnabled(false);
allGroupsCheck.setFont(new java.awt.Font("Verdana", 0, 11));
- allGroupsCheck.setLabel(MessageManager
- .getString("action.apply_threshold_all_groups"));
- allGroupsCheck.setName(MessageManager
- .getString("action.apply_all_groups"));
+ allGroupsCheck.setLabel(
+ MessageManager.getString("action.apply_threshold_all_groups"));
+ allGroupsCheck
+ .setName(MessageManager.getString("action.apply_all_groups"));
this.setBackground(Color.white);
this.setForeground(Color.black);
jPanel2.add(label, null);
@Override
public void mouseReleased(MouseEvent evt)
{
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
}
@Override