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

add tmp option to test images

Browse Source
This commit is contained in:
Jon Eugster
2023-12-08 10:18:00 +01:00
parent 0a057913be
commit a1a6862b5a
2 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/level.tsx
+3 -2
View File
@@ -214,7 +214,7 @@ function PlayableLevel({impressum, setImpressum}) {
const typewriterMode = useSelector(selectTypewriterMode(gameId)) const typewriterMode = useSelector(selectTypewriterMode(gameId))
const setTypewriterMode = (newTypewriterMode: boolean) => dispatch(changeTypewriterMode({game: gameId, typewriterMode: newTypewriterMode})) const setTypewriterMode = (newTypewriterMode: boolean) => dispatch(changeTypewriterMode({game: gameId, typewriterMode: newTypewriterMode}))
const gameInfo = useGetGameInfoQuery({game: gameId}) const gameInfo = useGetGameInfoQuery({game: gameId})
const level = useLoadLevelQuery({game: gameId, world: worldId, level: levelId}) const level = useLoadLevelQuery({game: gameId, world: worldId, level: levelId})
// The state variables for the `ProofContext` // The state variables for the `ProofContext`
@@ -488,7 +488,8 @@ function Introduction({impressum, setImpressum}) {
<IntroductionPanel gameInfo={gameInfo} /> <IntroductionPanel gameInfo={gameInfo} />
<div className="world-image-container empty"> <div className="world-image-container empty">
{image && {image &&
<img src={path.join("data", gameId, image)} alt="" /> // TODO: Temporary for testing
<img className={worldId=="Proposition" ? "cover" : "contain"} src={path.join("data", gameId, image)} alt="" />
} }
</div> </div>
client/src/css/level.css
+6 -1
View File
@@ -342,10 +342,15 @@ td code {
justify-content: center; justify-content: center;
} }
.world-image-container img { .world-image-container img.contain {
object-fit: contain; object-fit: contain;
} }
.world-image-container img.cover {
height: 100%;
object-fit: cover;
}
.typewriter-interface .proof { .typewriter-interface .proof {
background-color: #fff; background-color: #fff;
} }