import jalview.renderer.ResidueShaderI;
import jalview.util.MessageManager;
+import java.awt.event.ActionEvent;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import java.beans.PropertyVetoException;
@Override
public void stateChanged(ChangeEvent evt)
{
- valueField.setText(slider.getValue() + "");
+ valueField.setText(String.valueOf(slider.getValue()));
valueChanged(slider.getValue());
}
});
@Override
public void mouseReleased(MouseEvent evt)
{
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
}
});
slider.setValue(value);
- valueField.setText(value + "");
+ valueField.setText(String.valueOf(value));
}
/**
if (!conservationSlider.isVisible())
{
Desktop.addInternalFrame(conservationSlider,
- conservationSlider.getTitle(), 420, 90, false);
+ conservationSlider.getTitle(), true, FRAME_WIDTH,
+ FRAME_HEIGHT, false, true);
conservationSlider.addInternalFrameListener(new InternalFrameAdapter()
{
@Override
if (!PIDSlider.isVisible())
{
- Desktop.addInternalFrame(PIDSlider, PIDSlider.getTitle(), 420, 90,
- false);
+ Desktop.addInternalFrame(PIDSlider, PIDSlider.getTitle(), true,
+ FRAME_WIDTH, FRAME_HEIGHT, false, true);
PIDSlider.setLayer(JLayeredPane.PALETTE_LAYER);
PIDSlider.addInternalFrameListener(new InternalFrameAdapter()
{
public void setAllGroupsCheckEnabled(boolean b)
{
allGroupsCheck.setEnabled(b);
- allGroupsCheck.setSelected(ap.av.getColourAppliesToAllGroups());
}
/**