JAL-3371 more fine-grained slider; set Param slider to initial default
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 11 Aug 2020 09:35:32 +0000 (10:35 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 30 Sep 2021 11:46:00 +0000 (12:46 +0100)
commite09a3103605a8b6ca54b824b7bb6a75c5f35957a
treef2b287578453a56178425d1aeba78632127e1dad
parent297a2f15d6c6c718cdb81ce03b87e845e065ae64
JAL-3371 more fine-grained slider; set Param slider to initial default
src/jalview/gui/OptsAndParamsPage.java
src/jalview/gui/Slider.java