Merge branch 'merge/develop_and_rebase_squashed_merge_JAL-3628+JAL-3608+JAL-3609...
[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...