+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ *
+ * This file is part of Jalview.
+ *
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
package jalview.gui;
import javax.swing.JSlider;
public class Slider extends JSlider
{
/*
+ * the number of nominal positions the slider represents
+ * (higher number = more fine-grained positioning)
+ */
+ private static final int SCALE_TICKS = 1000;
+
+ /*
* 'true' value corresponding to zero on the slider
*/
private float trueMin;
* scaleFactor applied to true value range to give a
* slider range of 0 - 100
*/
- private int sliderScaleFactor;
+ private float sliderScaleFactor;
/**
* Constructor that rescales min - max to 0 - 100 for the slider
trueMin = min;
trueMax = max;
setMinimum(0);
- sliderScaleFactor = (int) (100f / (max - min));
+ sliderScaleFactor = SCALE_TICKS / (max - min);
int sliderMax = (int) ((max - min) * sliderScaleFactor);
setMaximum(sliderMax);
setSliderValue(value);
*/
int value = getValue();
return value == getMaximum() ? trueMax
- : value / (float) sliderScaleFactor + trueMin;
+ : value / sliderScaleFactor + trueMin;
}
/**
*/
public void setSliderValue(float value)
{
- setValue((int) ((value - trueMin) * sliderScaleFactor));
+ setValue(Math.round((value - trueMin) * sliderScaleFactor));
}
/**
- * Answers the value of the slider position as a percentage between minimum and
- * maximum of its range
+ * Answers the value of the slider position as a percentage between minimum
+ * and maximum of its range
*
* @return
*/