JAL-3371 JAL-2983 don't modify 'extent' of slider - this is managed by look and feel
authorJim Procter <jprocter@issues.jalview.org>
Wed, 29 Jul 2020 17:47:40 +0000 (18:47 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 29 Jul 2020 17:47:40 +0000 (18:47 +0100)
src/jalview/gui/Slider.java

index c8f673d..7f18461 100644 (file)
@@ -59,9 +59,7 @@ public class Slider extends JSlider
     setMinimum(0);
     sliderScaleFactor = 100f / (max - min);
     int sliderMax = (int) ((max - min) * sliderScaleFactor);
-    int extent = 1;
-    setExtent(extent);
-    setMaximum(sliderMax + extent);
+    setMaximum(sliderMax);
     setSliderValue(value);
   }