X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FSliderPanel.java;fp=src%2Fjalview%2Fappletgui%2FSliderPanel.java;h=565ebe84bb088bc5bb3638d2c1c637788240de32;hb=be762d8d9c71a7aa3121e845c45911c7192b7827;hp=47a066927ffbc884677085b9383b3f075054db28;hpb=d1bb7a31fc091606aedbc255a5766ac79e36fa91;p=jalview.git diff --git a/src/jalview/appletgui/SliderPanel.java b/src/jalview/appletgui/SliderPanel.java index 47a0669..565ebe8 100644 --- a/src/jalview/appletgui/SliderPanel.java +++ b/src/jalview/appletgui/SliderPanel.java @@ -47,8 +47,8 @@ import java.awt.event.WindowAdapter; 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"; @@ -81,8 +81,8 @@ public class SliderPanel extends Panel implements ActionListener, } 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 groups = ap.av.getAlignment().getGroups(); if (groups != null && !groups.isEmpty()) { @@ -140,8 +140,8 @@ public class SliderPanel extends Panel implements ActionListener, 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) { @@ -168,8 +168,8 @@ public class SliderPanel extends Panel implements ActionListener, 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 @@ -205,6 +205,7 @@ public class SliderPanel extends Panel implements ActionListener, conservationSlider = null; } } + public SliderPanel(AlignmentPanel ap, int value, boolean forConserve, ResidueShaderI shader) { @@ -394,7 +395,7 @@ public class SliderPanel extends Panel implements ActionListener, valueChanged(slider.getValue()); } }); - + label.setFont(new java.awt.Font("Verdana", 0, 11)); label.setText(MessageManager.getString("label.set_this_label_text")); jPanel1.setLayout(borderLayout1); @@ -408,10 +409,10 @@ public class SliderPanel extends Panel implements ActionListener, 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);