phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

load showHelp on changing level

Browse Source
This commit is contained in:
Jon Eugster
2023-07-18 23:38:43 +02:00
parent 48b55a9ebc
commit fb2f9cc3aa
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/level.tsx
+3 -4
View File
@@ -93,14 +93,13 @@ function PlayableLevel({worldId, levelId}) {
// // TODO: Thats the wrong behaviour probably // // TODO: Thats the wrong behaviour probably
// chatRef.current!.scrollTo(0,0) // chatRef.current!.scrollTo(0,0)
// TODO: That's a problem if the saved proof contains an error
// Reset command line input when loading a new level // Reset command line input when loading a new level
setCommandLineInput("") setCommandLineInput("")
}, [levelId])
// Load the selected help steps from the store // Load the selected help steps from the store
useEffect(() => {
setShowHelp(new Set(selectHelp(gameId, worldId, levelId)(store.getState()))) setShowHelp(new Set(selectHelp(gameId, worldId, levelId)(store.getState())))
}, []) }, [gameId, worldId, levelId])
useEffect(() => { useEffect(() => {
// TODO: For some reason this is always called twice // TODO: For some reason this is always called twice