From d7fdd95cab8e9b60f0fc044d68a235a2fdb3dcee Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Tue, 29 Aug 2023 10:15:00 +0200 Subject: [PATCH] uniform design of toggle buttons #89 --- client/src/components/level.css | 5 +++++ client/src/components/level.tsx | 25 +++++++++++++------------ 2 files changed, 18 insertions(+), 12 deletions(-) diff --git a/client/src/components/level.css b/client/src/components/level.css index e613caec..515fb86c 100644 --- a/client/src/components/level.css +++ b/client/src/components/level.css @@ -324,3 +324,8 @@ td code { margin-right: -0.5em; margin-top: -0.5em; } + +.toggle-width { + width: 40px; + text-align: center; +} diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx index 074154be..4973fe28 100644 --- a/client/src/components/level.tsx +++ b/client/src/components/level.tsx @@ -4,7 +4,7 @@ import { useSelector, useStore } from 'react-redux' import Split from 'react-split' import { useParams } from 'react-router-dom' import { FontAwesomeIcon } from '@fortawesome/react-fontawesome' -import { faBars, faBook, faCode, faXmark, faHome, faCircleInfo, faArrowRight, faArrowLeft } from '@fortawesome/free-solid-svg-icons' +import { faBars, faBook, faCode, faXmark, faHome, faCircleInfo, faArrowRight, faArrowLeft, faTerminal } from '@fortawesome/free-solid-svg-icons' import { CircularProgress } from '@mui/material' import type { Location } from 'vscode-languageserver-protocol' import * as monaco from 'monaco-editor/esm/vs/editor/editor.api.js' @@ -349,7 +349,8 @@ function PlayableLevel() { isLoading={level.isLoading} levelTitle={`${mobile ? '' : 'Level '}${levelId} / ${gameInfo.data?.worldSize[worldId]}` + (level?.data?.title && ` : ${level?.data?.title}`)} - toggleImpressum={toggleImpressum} + impressum={impressum} + toggleImpressum={toggleImpressum} pageNumber={pageNumber} setPageNumber={setPageNumber} /> {mobile? // TODO: This is copied from the `Split` component below... @@ -403,7 +404,7 @@ function Introduction() { return <>
- +
@@ -422,7 +423,7 @@ function Introduction() { } /** The top-navigation bar */ -function LevelAppBar({isLoading, levelTitle, toggleImpressum, pageNumber = undefined, setPageNumber = undefined}) { +function LevelAppBar({isLoading, levelTitle, impressum, toggleImpressum, pageNumber = undefined, setPageNumber = undefined}) { const gameId = React.useContext(GameIdContext) const {worldId, levelId} = useContext(WorldLevelIdContext) const gameInfo = useGetGameInfoQuery({game: gameId}) @@ -447,17 +448,17 @@ function LevelAppBar({isLoading, levelTitle, toggleImpressum, pageNumber = undef
{mobile && pageNumber == 0 ? - : pageNumber == 1 && - } -
@@ -528,13 +529,13 @@ function LevelAppBar({isLoading, levelTitle, toggleImpressum, pageNumber = undef  Leave World } - -