From 37668aa43e535d99d5745880cef6eb0aeb1dd422 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Wed, 29 Jul 2020 18:47:40 +0100 Subject: [PATCH] JAL-3371 JAL-2983 don't modify 'extent' of slider - this is managed by look and feel --- src/jalview/gui/Slider.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/jalview/gui/Slider.java b/src/jalview/gui/Slider.java index c8f673d..7f18461 100644 --- a/src/jalview/gui/Slider.java +++ b/src/jalview/gui/Slider.java @@ -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); } -- 1.7.10.2