Merge branch 'merge_review/JAL-3490_2_11_2_develop' 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...