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

move input context

Browse Source
This commit is contained in:
Jon Eugster
2023-06-18 09:04:57 +02:00
parent c390c6b9ea
commit 46d0a41f26
1 changed files with 63 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/Level.tsx
+2 -3
View File
@@ -192,7 +192,6 @@ function PlayableLevel({worldId, levelId}) {
// If this state is set to a pair `(name, type)` then the according doc will be open. // If this state is set to a pair `(name, type)` then the according doc will be open.
const [inventoryDoc, setInventoryDoc] = useState<{name: string, type: string}>(null) const [inventoryDoc, setInventoryDoc] = useState<{name: string, type: string}>(null)
// TODO: This seems like a useless wrapper to me
function openInventoryDoc(name, type) { function openInventoryDoc(name, type) {
setInventoryDoc({name, type}) setInventoryDoc({name, type})
} }
@@ -204,6 +203,7 @@ function PlayableLevel({worldId, levelId}) {
return <> return <>
<div style={level.isLoading ? null : {display: "none"}} className="app-content loading"><CircularProgress /></div> <div style={level.isLoading ? null : {display: "none"}} className="app-content loading"><CircularProgress /></div>
<InputModeContext.Provider value={{commandLineMode, setCommandLineMode, commandLineInput, setCommandLineInput}}>
<LevelAppBar isLoading={level.isLoading} levelTitle={levelTitle} worldId={worldId} levelId={levelId} /> <LevelAppBar isLoading={level.isLoading} levelTitle={levelTitle} worldId={worldId} levelId={levelId} />
<Split minSize={0} snapOffset={200} sizes={[25, 50, 25]} className={`app-content level ${level.isLoading ? 'hidden' : ''}`}> <Split minSize={0} snapOffset={200} sizes={[25, 50, 25]} className={`app-content level ${level.isLoading ? 'hidden' : ''}`}>
<div ref={chatPanelRef} className="chat-panel"> <div ref={chatPanelRef} className="chat-panel">
@@ -256,9 +256,7 @@ function PlayableLevel({worldId, levelId}) {
<HintContext.Provider value={{hints, setHints}}> <HintContext.Provider value={{hints, setHints}}>
<EditorContext.Provider value={editorConnection}> <EditorContext.Provider value={editorConnection}>
<MonacoEditorContext.Provider value={editor}> <MonacoEditorContext.Provider value={editor}>
<InputModeContext.Provider value={{commandLineMode, setCommandLineMode, commandLineInput, setCommandLineInput}}>
{editorConnection && <Main key={`${worldId}/${levelId}`} world={worldId} level={levelId} />} {editorConnection && <Main key={`${worldId}/${levelId}`} world={worldId} level={levelId} />}
</InputModeContext.Provider>
</MonacoEditorContext.Provider> </MonacoEditorContext.Provider>
</EditorContext.Provider> </EditorContext.Provider>
</HintContext.Provider> </HintContext.Provider>
@@ -273,6 +271,7 @@ function PlayableLevel({worldId, levelId}) {
} }
</div> </div>
</Split> </Split>
</InputModeContext.Provider>
</> </>
} }