From 066d7f82e2cd287b2be849ed2abbf4ded6c517ba Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Thu, 24 Feb 2022 12:08:16 +0100
Subject: [PATCH] Unfocus all input fields on submit, fixes #33

---
 src/main/java/edu/kit/typicalc/view/main/InputBar.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/edu/kit/typicalc/view/main/InputBar.java b/src/main/java/edu/kit/typicalc/view/main/InputBar.java
index 3736ea9..ad61018 100644
--- a/src/main/java/edu/kit/typicalc/view/main/InputBar.java
+++ b/src/main/java/edu/kit/typicalc/view/main/InputBar.java
@@ -128,6 +128,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
     }
 
     private void onTypeInferButtonClick() {
+        assumptionInputField.blur();
         termInputField.blur();
         String assumptions = assumptionInputField.getValue();
         callback.accept(Pair.of(termInputField.getValue(), assumptions));