Merge branch 'cherry-pick/r2_11_2_JAL-3509' into develop
[jalview.git] / src / jalview / gui / Slider.java
2020-07-29 Jim ProcterJAL-3371 JAL-2983 don't modify 'extent' of slider ...
2019-07-19 gmungocJAL-3371 use gui.Slider for OptAndParamPage min-max...
2019-07-18 gmungocJAL-3371 JAL-2983 add gui.Slider to handle negative...