JAL-3371 use gui.Slider for OptAndParamPage min-max parameters
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:22:38 +0000 (11:22 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:22:38 +0000 (11:22 +0100)
commita3d80544cd19436e1ee4abbcfa9befcc926784bf
treea5cf05845ac723d76f0b8e10dc93a386f93568e5
parentb645f92e338a4eea33bd2813c27917fb0fe5cc4d
JAL-3371 use gui.Slider for OptAndParamPage min-max parameters
src/jalview/gui/OptsAndParamsPage.java
src/jalview/gui/Slider.java