X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSlider.java;h=184304cfbf0f311f80f0b88b20c7f83e04bcd049;hb=57738a1f3c19b1c3a00bd3ac5108f8cd0af32f99;hp=c8f673d5f66e30b2ca035a121280321a7f302cfd;hpb=a3d80544cd19436e1ee4abbcfa9befcc926784bf;p=jalview.git

diff --git a/src/jalview/gui/Slider.java b/src/jalview/gui/Slider.java
index c8f673d..184304c 100644
--- 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,11 +63,9 @@ 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);
-    int extent = 1;
-    setExtent(extent);
-    setMaximum(sliderMax + extent);
+    setMaximum(sliderMax);
     setSliderValue(value);
   }
 
@@ -91,8 +95,8 @@ public class Slider extends JSlider
   }
 
   /**
-   * 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
    */