JAL-3371 JAL-2983 don't modify 'extent' of slider - this is managed by look and feel
authorJim Procter <jprocter@issues.jalview.org>
Wed, 29 Jul 2020 17:47:40 +0000 (18:47 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 29 Jul 2020 17:47:40 +0000 (18:47 +0100)
commit37668aa43e535d99d5745880cef6eb0aeb1dd422
tree8a5113c839dc14213f0a9e026dcc48ede68ca25c
parentb35271fb7c5b9cb0a07aeefca9e2e5b5d5bdaa8d
JAL-3371 JAL-2983 don't modify 'extent' of slider - this is managed by look and feel
src/jalview/gui/Slider.java