Unfocus all input fields on submit, fixes #33

This commit is contained in:
Arne Keller 2022-02-24 12:08:16 +01:00
parent da87576326
commit 066d7f82e2

View File

@ -128,6 +128,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
} }
private void onTypeInferButtonClick() { private void onTypeInferButtonClick() {
assumptionInputField.blur();
termInputField.blur(); termInputField.blur();
String assumptions = assumptionInputField.getValue(); String assumptions = assumptionInputField.getValue();
callback.accept(Pair.of(termInputField.getValue(), assumptions)); callback.accept(Pair.of(termInputField.getValue(), assumptions));