JAL-2957 don't validate input on arrow keys
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 23 Apr 2018 08:43:16 +0000 (09:43 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 23 Apr 2018 08:43:16 +0000 (09:43 +0100)
commit04a92acb1e484730552d42fdf2d356e04551c5ea
treecef63a0962a67032988578b3be7c7e2bdbc5e586
parent764241cc5bd3e94fbd8158ecbcf72361b3ce5829
JAL-2957 don't validate input on arrow keys
src/jalview/gui/OptsAndParamsPage.java