fix numbers appearing in red

leanprover-community · Dec 7, 2023 · 314c834 · 314c834
1 parent fb691d4
commit 314c834
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/Editor.tsx b/client/src/Editor.tsx
@@ -52,7 +52,7 @@ const Editor: React.FC<{setRestart?, onDidChangeContent?, value: string, theme:
         console.log(`changed theme to ${theme}`)
       })
     }
-  }, [theme])
+  }, [theme, editor])
 
   useEffect(() => {
     const model = monaco.editor.createModel(value ?? '', 'lean4', uri)