From e9da03a8d66e445d9f154f607600a84bf82c7fea Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 23 Apr 2018 09:43:16 +0100 Subject: [PATCH] JAL-2957 don't validate input on arrow keys --- src/jalview/gui/OptsAndParamsPage.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/OptsAndParamsPage.java b/src/jalview/gui/OptsAndParamsPage.java index 483ba3d..34af13d 100644 --- a/src/jalview/gui/OptsAndParamsPage.java +++ b/src/jalview/gui/OptsAndParamsPage.java @@ -700,7 +700,9 @@ public class OptsAndParamsPage @Override public void keyReleased(KeyEvent e) { - if (e.isActionKey()) + int keyCode = e.getKeyCode(); + if (e.isActionKey() && keyCode != KeyEvent.VK_LEFT + && keyCode != KeyEvent.VK_RIGHT) { if (valueField.getText().trim().length() > 0) { -- 1.7.10.2