cleanup

leanprover-community · May 16, 2024 · 895c71d · 895c71d
1 parent 8b5d6ff
commit 895c71d
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 5 deletions.
diff --git 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
@@ -180,7 +180,7 @@ function LandingPage() {
     </section>
     <footer>
       {/* Do not translate "Impressum", it's needed for German GDPR */}
-      <a className="link" onClick={() => {setPopupContent("impressum")}}>Impressum</a>
+      <a className="link" onClick={() => {setPopupContent("impressum")}}>{t("Impressum")}</a>
       <a className="link" onClick={() => {setPopupContent("privacy")}}>{t("Privacy Policy")}</a>
     </footer>
   </div>

diff --git a/client/src/components/navigation.tsx b/client/src/components/navigation.tsx
@@ -305,7 +305,7 @@ export function Navigation () {
           </>}
           <NavButton
             icon={faCircleInfo}
-            text={"Impressum"}
+            text={t("Impressum")}
             onClick={() => {setPopupContent("impressum")}}
             inverted={true} />
           <NavButton

diff --git a/client/src/components/popup/preferences.tsx b/client/src/components/popup/preferences.tsx
@@ -69,6 +69,11 @@ export function PreferencesPopup () {
               }
               label=""
             />
+            <p>
+              If a game does not exist in the language selected, this setting has no effect
+              and the game's default language is used.
+            </p>
+
           </div>
         </div>
         <div className='preferences-category'>

diff --git 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"
   ],