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:48:01 +0000 (09:48 +0100)
commite9da03a8d66e445d9f154f607600a84bf82c7fea
treea2df15815f0fdcb20b5ae8ad20405c8b45e04f51
parentc725e57e2907b4b9a8eb0dada6eccbf2e1cf0dde
JAL-2957 don't validate input on arrow keys
src/jalview/gui/OptsAndParamsPage.java