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)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 11 Aug 2020 09:35:32 +0000 (10:35 +0100)
commit3e85e0bc8df23e09495f57089ec6e26d2552efa5
tree6fc0d27c100fb7b88b45c995ca7999c5a2066e03
parent37668aa43e535d99d5745880cef6eb0aeb1dd422
JAL-3371 more fine-grained slider; set Param slider to initial default
src/jalview/gui/OptsAndParamsPage.java
src/jalview/gui/Slider.java