diff --git a/client/src/app.tsx b/client/src/app.tsx index e03786ee..fe90556d 100644 --- a/client/src/app.tsx +++ b/client/src/app.tsx @@ -56,10 +56,10 @@ function App() { if (gameId && availableLangs?.length > 0 && !(availableLangs.includes(language))) { // if the game is not available in the preferred language, display it in the original // language - console.log(`using default language: ${availableLangs[0]}`) + console.debug(`using default language: ${availableLangs[0]}`) i18n.changeLanguage(availableLangs[0]) } else { - console.log(`using language: ${language}`) + console.debug(`using language: ${language}`) i18n.changeLanguage(language) } }, [gameId, gameInfo.data?.tile?.languages, language]) diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx index fb6a9f99..c14e3df4 100644 --- a/client/src/components/landing_page.tsx +++ b/client/src/components/landing_page.tsx @@ -180,7 +180,7 @@ function LandingPage() { diff --git a/client/src/components/navigation.tsx b/client/src/components/navigation.tsx index 3ae7cc16..752d5580 100644 --- a/client/src/components/navigation.tsx +++ b/client/src/components/navigation.tsx @@ -305,7 +305,7 @@ export function Navigation () { } {setPopupContent("impressum")}} inverted={true} /> +

+ If a game does not exist in the language selected, this setting has no effect + and the game's default language is used. +

+
diff --git a/client/src/config.json b/client/src/config.json index c0386573..2bb0660d 100644 --- a/client/src/config.json +++ b/client/src/config.json @@ -1,7 +1,7 @@ { "allGames": [ "leanprover-community/nng4", - "local/Robo", + "hhu-adam/Robo", "djvelleman/stg4", "trequetrum/lean4game-logic" ],