From 340700aba46fb00582d036552d7afcd8e320dd22 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Thu, 15 Dec 2022 14:02:24 +0100
Subject: [PATCH] check completed when changing level

---
 client/src/components/Infoview.tsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/client/src/components/Infoview.tsx b/client/src/components/Infoview.tsx
index 7f3bd54..c4dd6f8 100644
--- a/client/src/components/Infoview.tsx
+++ b/client/src/components/Infoview.tsx
@@ -68,6 +68,7 @@ function Infoview({ editor, editorApi, leanClient } : {editor: monaco.editor.ISt
   useEffect(() => {
     if (editor) {
       fetchInteractiveGoals()
+      checkCompleted()
       const t = editor.onDidChangeModel((ev) => {
         if (ev.newModelUrl) {
           setRpcSession(undefined)