From cd20ce023e40ebc9ba7f9edbfdc1ec036701191a Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Sun, 7 Mar 2021 11:18:52 +0100
Subject: [PATCH] refresh unification error message on localeChange

---
 .../TypeInferenceView.java                     | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
index 43055d8..edb5a35 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
@@ -8,6 +8,8 @@ import com.vaadin.flow.component.dependency.JavaScript;
 import com.vaadin.flow.component.html.Div;
 import com.vaadin.flow.component.orderedlayout.Scroller;
 import com.vaadin.flow.component.orderedlayout.VerticalLayout;
+import com.vaadin.flow.i18n.LocaleChangeEvent;
+import com.vaadin.flow.i18n.LocaleChangeObserver;
 import edu.kit.typicalc.model.TypeInfererInterface;
 import edu.kit.typicalc.view.content.ControlPanel;
 import edu.kit.typicalc.view.content.ControlPanelView;
@@ -26,7 +28,7 @@ import java.util.Locale;
 @CssImport("./styles/view/type-inference.css")
 @JavaScript("./src/key-shortcuts.js")
 public class TypeInferenceView extends VerticalLayout
-        implements ControlPanelView, ComponentEventListener<AttachEvent> {
+        implements ControlPanelView, ComponentEventListener<AttachEvent>, LocaleChangeObserver {
     /**
      * Route of this view.
      */
@@ -42,7 +44,8 @@ public class TypeInferenceView extends VerticalLayout
 
     private MathjaxUnification unification;
     private MathjaxProofTree tree;
-    private final transient LatexCreator lc;
+    private transient LatexCreator lc;
+    private final transient TypeInfererInterface typeInferer;
     private final Div content;
     private final ControlPanel controlPanel;
 
@@ -55,6 +58,7 @@ public class TypeInferenceView extends VerticalLayout
     public TypeInferenceView(TypeInfererInterface typeInferer) {
         setId(ID);
         addAttachListener(this);
+        this.typeInferer = typeInferer;
         lc = new LatexCreator(typeInferer,
                 error -> getTranslation("root." + error.toString().toLowerCase(Locale.ENGLISH)));
         content = new Div();
@@ -133,4 +137,14 @@ public class TypeInferenceView extends VerticalLayout
         currentStep = 0;
         refreshElements();
     }
+
+    @Override
+    public void localeChange(LocaleChangeEvent localeChangeEvent) {
+        lc = new LatexCreator(typeInferer,
+                error -> getTranslation("root." + error.toString().toLowerCase(Locale.ENGLISH)));
+        unification = new MathjaxUnification(lc.getUnification());
+        content.removeAll();
+        content.add(unification, tree);
+        refreshElements();
+    }
 }