coulour introduction texts #100

leanprover-community · Sep 1, 2023 · 9c6ed17 · 9c6ed17
1 parent 4d4d2a5
commit 9c6ed17
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 11 deletions.
diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
@@ -32,7 +32,7 @@ import { DeletedChatContext, InputModeContext, MobileContext, MonacoEditorContex
   ProofContext, ProofStep, SelectionContext, WorldLevelIdContext } from './infoview/context'
 import { DualEditor } from './infoview/main'
 import { GameHint } from './infoview/rpc_api'
-import { DeletedHints, Hints } from './hints'
+import { DeletedHints, Hint, Hints } from './hints'
 import { Impressum } from './privacy_policy'
 
 import '@fontsource/roboto/300.css'
@@ -388,11 +388,15 @@ function IntroductionPanel({gameInfo, impressum, closeImpressum}) {
   const gameId = React.useContext(GameIdContext)
   const {worldId} = useContext(WorldLevelIdContext)
 
-  return <div style={gameInfo.isLoading ? {display: "none"} : null} className="chat-panel">
+  let text: Array<string> = gameInfo.data?.worlds.nodes[worldId].introduction.split(/\n(\s*\n)+/)
+
+  return <div className="chat-panel">
     <div className="chat">
-      <Markdown>
-        {gameInfo.data?.worlds.nodes[worldId].introduction}
-      </Markdown>
+      {text?.map((t =>
+        t.trim() ?
+          <Hint hint={{text: t, hidden: false}} step={0} selected={null} toggleSelection={undefined} />
+        : <></>
+      ))}
       {impressum ? <Impressum handleClose={closeImpressum} /> : null}
     </div>
     <div className="button-row">
@@ -428,9 +432,10 @@ function Introduction() {
   }
 
   return <>
-    <div style={gameInfo.isLoading ? null : {display: "none"}} className="app-content loading"><CircularProgress /></div>
     <LevelAppBar isLoading={gameInfo.isLoading} levelTitle="Introduction" impressum={impressum} toggleImpressum={toggleImpressum}/>
-      {mobile ?
+    {gameInfo.isLoading ?
+      <div className="app-content loading"><CircularProgress /></div>
+    : mobile ?
         <IntroductionPanel gameInfo={gameInfo} impressum={impressum} closeImpressum={closeImpressum} />
       :
         <Split minSize={0} snapOffset={200} sizes={[25, 50, 25]} className={`app-content level`}>

diff --git a/client/src/components/welcome.tsx b/client/src/components/welcome.tsx
@@ -19,18 +19,33 @@ import { WorldTreePanel, downloadFile } from './world_tree'
 
 import './welcome.css'
 import { WelcomeAppBar } from './app_bar'
+import { Hint } from './hints'
 
 /** The panel showing the game's introduction text */
 function IntroductionPanel({introduction}: {introduction: string}) {
   const {mobile, setPageNumber} = React.useContext(MobileContext)
   const gameId = React.useContext(GameIdContext)
   const dispatch = useAppDispatch()
 
+  // TODO: I left the setup for splitting up the introduction in place, but if it's not needed
+  // then this can be simplified.
+
+  // let text: Array<string> = introduction.split(/\n(\s*\n)+/)
+  let text: Array<string> = [introduction]
+
   return <div className="column chat-panel">
-    <Typography variant="body1" component="div" className="welcome-text">
-      {/* <h1>{title}</h1> */}
-      <Markdown>{introduction}</Markdown>
-    </Typography>
+    <div className="chat">
+      {text?.map((t =>
+        t.trim() ?
+          <Hint hint={{text: t, hidden: false}} step={0} selected={null} toggleSelection={undefined} />
+        : <></>
+      ))}
+    </div>
+    {/* <Typography variant="body1" component="div" className="welcome-text">
+          <h1>{title}</h1>
+          <Markdown>{introduction}</Markdown>
+        </Typography>
+    */}
     {mobile &&
       <div className="button-row">
         <Button className="btn" to=""