From edf1085310c8e144351791e6d583a3db1a77b6aa Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Mon, 11 Mar 2024 12:18:30 +0100
Subject: [PATCH] fix ts warnings

---
 client/src/components/level.tsx | 4 ++--
 tsconfig.json                   | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
index 24fc18d..5b28376 100644
--- a/client/src/components/level.tsx
+++ b/client/src/components/level.tsx
@@ -127,7 +127,7 @@ function ChatPanel({lastLevel, visible = true}) {
       {introText?.filter(t => t.trim()).map(((t, i) =>
         // Show the level's intro text as hints, too
         <Hint key={`intro-p-${i}`}
-          hint={{text: t, hidden: false}} step={0} selected={selectedStep} toggleSelection={toggleSelection(0)} />
+          hint={{text: t, hidden: false, rawText: t, varNames: []}} step={0} selected={selectedStep} toggleSelection={toggleSelection(0)} />
       ))}
       {proof.steps.map((step, i) => {
         let filteredHints = filterHints(step.goals[0]?.hints, proof?.steps[i-1]?.goals[0]?.hints)
@@ -427,7 +427,7 @@ function IntroductionPanel({gameInfo}) {
     <div className="chat">
       {text?.filter(t => t.trim()).map(((t, i) =>
         <Hint key={`intro-p-${i}`}
-          hint={{text: t, hidden: false}} step={0} selected={null} toggleSelection={undefined} />
+          hint={{text: t, hidden: false, rawText: t, varNames: []}} step={0} selected={null} toggleSelection={undefined} />
       ))}
     </div>
     <div className={`button-row${mobile ? ' mobile' : ''}`}>
diff --git a/tsconfig.json b/tsconfig.json
index 961d146..74359a4 100644
--- a/tsconfig.json
+++ b/tsconfig.json
@@ -12,7 +12,8 @@
     "experimentalDecorators": true,
     "allowSyntheticDefaultImports": true,
     "lib": [
-      "ES2021.String"
+      "ES2021.String",
+      "DOM"
     ]
   },
   "exclude": ["server", "relay"]