JAL-3371 more fine-grained slider; set Param slider to initial default

[jalview.git] / src / jalview / gui / Slider.java

diff --git a/src/jalview/gui/Slider.java b/src/jalview/gui/Slider.java
index 7f18461..714e770 100644 (file)
--- a/src/jalview/gui/Slider.java
+++ b/src/jalview/gui/Slider.java
@@ -16,6 +16,12 @@ 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;
@@ -57,7 +63,7 @@ public class Slider extends JSlider
     trueMin = min;
     trueMax = max;
     setMinimum(0);
-    sliderScaleFactor = 100f / (max - min);
+    sliderScaleFactor = SCALE_TICKS / (max - min);
     int sliderMax = (int) ((max - min) * sliderScaleFactor);
     setMaximum(sliderMax);
     setSliderValue(value);