JAL-3141 correct cast of spinner value
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 23 Aug 2019 14:38:29 +0000 (15:38 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 23 Aug 2019 14:38:29 +0000 (15:38 +0100)
commit53dbe945f2ae3469fe5320760e3f2b3d65897964
tree70845da80a4251239916ce79509b9c9b74dc7848
parentbe38fa8acaa8061b501a4e94fb7dea4b7ed8ed41
JAL-3141 correct cast of spinner value
src/jalview/jbgui/GPreferences.java