import java.awt.event.ActionListener;
import java.awt.event.AdjustmentEvent;
import java.awt.event.AdjustmentListener;
+import java.awt.event.FocusAdapter;
+import java.awt.event.FocusEvent;
import java.awt.event.ItemEvent;
import java.awt.event.ItemListener;
import java.awt.event.MouseEvent;
} catch (Exception ex)
{
}
- threshold.select(cs.isAboveThreshold() ? 1 : (cs.isBelowThreshold() ? 2
- : 0));
+ threshold.select(
+ cs.isAboveThreshold() ? 1 : (cs.isBelowThreshold() ? 2 : 0));
adjusting = false;
changeColour(true);
slider.addAdjustmentListener(this);
slider.addMouseListener(this);
owner = (af != null) ? af : fs.frame;
- frame = new JVDialog(owner, MessageManager.formatMessage(
- "label.graduated_color_for_params", new String[] { type }),
- true, 480, 248);
+ frame = new JVDialog(owner, MessageManager
+ .formatMessage("label.graduated_color_for_params", new String[]
+ { type }), true, 480, 248);
frame.setMainPanel(this);
validate();
frame.setVisible(true);
private void jbInit() throws Exception
{
- Label minLabel = new Label(MessageManager.getString("label.min")), maxLabel = new Label(
- MessageManager.getString("label.max"));
+ Label minLabel = new Label(MessageManager.getString("label.min")),
+ maxLabel = new Label(MessageManager.getString("label.max"));
minLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
maxLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
// minColour.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
threshold.addItem(MessageManager
.getString("label.threshold_feature_below_threshold"));
thresholdValue.addActionListener(this);
+ thresholdValue.addFocusListener(new FocusAdapter()
+ {
+ @Override
+ public void focusLost(FocusEvent e)
+ {
+ thresholdValue_actionPerformed();
+ }
+ });
slider.setBackground(Color.white);
slider.setEnabled(false);
slider.setSize(new Dimension(93, 21));
jPanel3.setBackground(Color.white);
colourFromLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
- colourFromLabel.setLabel(MessageManager
- .getString("label.colour_by_label"));
+ colourFromLabel
+ .setLabel(MessageManager.getString("label.colour_by_label"));
colourFromLabel.setSize(new Dimension(139, 22));
// threshold.setBounds(new Rectangle(11, 3, 139, 22));
thresholdIsMin.setBackground(Color.white);
- thresholdIsMin.setLabel(MessageManager
- .getString("label.threshold_minmax"));
+ thresholdIsMin
+ .setLabel(MessageManager.getString("label.threshold_minmax"));
thresholdIsMin.setSize(new Dimension(135, 23));
// thresholdIsMin.setBounds(new Rectangle(328, 3, 135, 23));
jPanel1.add(minLabel);
{
if (evt.getSource() == thresholdValue)
{
- try
- {
- float f = new Float(thresholdValue.getText()).floatValue();
- slider.setValue((int) (f * SCALE_FACTOR_1K));
- adjustmentValueChanged(null);
- } catch (NumberFormatException ex)
- {
- }
+ thresholdValue_actionPerformed();
}
else if (evt.getSource() == minColour)
{
}
}
+ /**
+ * Action on input of a value for colour score threshold
+ */
+ protected void thresholdValue_actionPerformed()
+ {
+ try
+ {
+ float f = new Float(thresholdValue.getText()).floatValue();
+ slider.setValue((int) (f * SCALE_FACTOR_1K));
+ adjustmentValueChanged(null);
+
+ /*
+ * force repaint of any Overview window or structure
+ */
+ changeColour(true);
+ } catch (NumberFormatException ex)
+ {
+ }
+ }
+
@Override
public void itemStateChanged(ItemEvent evt)
{
{
if (newCol == null)
{
- new UserDefinedColours(this,
- minColour.getBackground(), owner,
- MessageManager.getString("label.select_colour_minimum_value"));
+ new UserDefinedColours(this, minColour.getBackground(), owner,
+ MessageManager
+ .getString("label.select_colour_minimum_value"));
}
else
{
{
if (newCol == null)
{
- new UserDefinedColours(this,
- maxColour.getBackground(), owner,
- MessageManager.getString("label.select_colour_maximum_value"));
+ new UserDefinedColours(this, maxColour.getBackground(), owner,
+ MessageManager
+ .getString("label.select_colour_maximum_value"));
}
else
{
adjusting = false;
}
- acg.setAboveThreshold(thresholdOption == AnnotationColourGradient.ABOVE_THRESHOLD);
- acg.setBelowThreshold(thresholdOption == AnnotationColourGradient.BELOW_THRESHOLD);
+ acg.setAboveThreshold(
+ thresholdOption == AnnotationColourGradient.ABOVE_THRESHOLD);
+ acg.setBelowThreshold(
+ thresholdOption == AnnotationColourGradient.BELOW_THRESHOLD);
if (thresholdIsMin.getState()
&& thresholdOption != AnnotationColourGradient.NO_THRESHOLD)