From 389e120117f8a27e57c51d340e1d6ee8fc87fb55 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Tue, 26 Mar 2024 02:49:48 +0100 Subject: [PATCH] add translations --- client/public/locales/de/translation.json | 109 +++++++++++----------- client/public/locales/en/translation.json | 3 +- client/src/components/inventory.tsx | 2 +- client/src/components/landing_page.tsx | 2 +- 4 files changed, 59 insertions(+), 57 deletions(-) diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index 223c724..e757941 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -12,60 +12,60 @@ "Intro": "", "Game Introduction": "", "World selection": "", - "Start": "", - "Inventory": "", - "next level": "", + "Start": "Start", + "Inventory": "Inventar", + "next level": "nächstes Level", "Next": "", "back to world selection": "", - "Leave World": "", + "Leave World": "Welt verlassen", "previous level": "", "Previous": "", "Editor mode is enforced!": "", - "Editor mode": "", - "Typewriter mode": "", + "Editor mode": "Editor", + "Typewriter mode": "Schreibmaschine", "information, Impressum, privacy policy": "", "Preferences": "Einstellungen", - "Game Info & Credits": "", - "Game Info": "", - "Clear Progress": "", - "Erase": "", - "Download Progress": "", - "Download": "", - "Load Progress from JSON": "", - "Upload": "", - "Home": "", - "back to games selection": "", - "close inventory": "", - "show inventory": "", - "World": "", - "Show more help!": "", - "Goal": "", - "Current Goal": "", - "Objects": "", - "Assumptions": "", - "Further Goals": "", - "No Goals": "", - "Loading goal…": "", + "Game Info & Credits": "Spielinfo & Credits", + "Game Info": "Spielinfo", + "Clear Progress": "Spielstand löschen", + "Erase": "Löschen", + "Download Progress": "Spielstand herunterladen", + "Download": "Herunterladen", + "Load Progress from JSON": "Spielstand von JSON laden", + "Upload": "Laden", + "Home": "Home", + "back to games selection": "Zurück zur Spielauswahl", + "close inventory": "Inventar schliessen", + "show inventory": "Inventar öffnen", + "World": "Welt", + "Show more help!": "Mehr Hilfe", + "Goal": "Goal", + "Current Goal": "Aktuelles Goal", + "Objects": "Objekte", + "Assumptions": "Annahmen", + "Further Goals": "Weitere Goals", + "No Goals": "Keine Goals", + "Loading goal…": "Goal wird geladen…", "Click somewhere in the Lean file to enable the infoview.": "", "Waiting for Lean server to start…": "", - "Level completed! 🎉": "", - "Level completed with warnings 🎭": "", - "Retry proof from here": "", - "Active Goal": "", + "Level completed! 🎉": "Level gelöst! 🎉", + "Level completed with warnings 🎭": "Level mit Warnungen abgeschlossen 🎭", + "Retry proof from here": "Von hier erneut probieren", + "Active Goal": "Aktuelles Goal", "Crashed! Go to editor mode and fix your proof! Last server response:": "", - "Line": "", - "Character": "", + "Line": "Zeile", + "Character": "Charakter", "Loading messages…": "", - "Execute": "", - "Definitions": "", - "Theorems": "", - "locked": "", - "disabled": "", - "new": "", - "Not unlocked yet": "", - "Not available in this level": "", + "Execute": "Ausführen", + "Definitions": "Definitionen", + "Theorems": "Theoreme", + "locked": "nicht verfügbar", + "disabled": "gesperrt", + "new": "neu", + "Not unlocked yet": "Not nicht verfügbar", + "Not available in this level": "In diesem Level nicht verfügbar", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <5>mathlib", - "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "", + "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Kein Spiel geladen. öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt von einem lokalen Ordner zu laden.", "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.

<1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue about any problems you experience!": "", "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we-ll happily add yours.

": "", "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität in Düsseldorf.": "", @@ -76,18 +76,19 @@ "Development notes": "", "Adding new games": "", "Funding": "", - "

Do you want to delete your saved progress irreversibly?

(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)

": "", - "Delete Progress?": "", - "Delete": "", - "Download & Delete": "", - "Cancel": "", + "

Do you want to delete your saved progress irreversibly?

(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)

": "

Soll der Spielstand unwiderruflich gelöscht werden?

(Dies löscht sämtliche Beweise und das gesammelte Inventar. Spielstände anderer Spiele werden nicht gelöscht.)

", + "Delete Progress?": "Spielstand löschen?", + "Delete": "Löschen", + "Download & Delete": "Herunterladen & Löschen", + "Cancel": "Abbrechen", "Layout": "Seitenlayout", - "Always visible": "", + "Always visible": "Immer sichtbar", "Save my settings (in the browser store)": "Einstellungen im Browser speichern.", - "

Select a JSON file with the saved game progress to load your progress.

<1><0>Warning: This will delete your current game progress! Consider <2>downloading your current progress first!": "", - "Upload Saved Progress": "", - "Load selected file": "", - "Mobile": "", - "Auto": "", - "Desktop": "" + "

Select a JSON file with the saved game progress to load your progress.

<1><0>Warning: This will delete your current game progress! Consider <2>downloading your current progress first!": "

Wähle eine JSON-Datei mit dem Spielstand um diesen zu laden.

<1><0>Achtung: Diese Aktion überschreibt den aktuellen Spielstand! Es wird empfohlen zuerst den <2>aktuellen Spielstand herunterzuladen!", + "Upload Saved Progress": "Spielstand hochladen", + "Load selected file": "Ausgewählte Datei hochladen", + "Mobile": "Mobil", + "Auto": "Auto", + "Desktop": "Desktop", + "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we'll happily add yours.

": "" } diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json index 32ab4e7..10034e2 100644 --- a/client/public/locales/en/translation.json +++ b/client/public/locales/en/translation.json @@ -90,5 +90,6 @@ "Load selected file": "Load selected file", "Mobile": "Mobile", "Auto": "Auto", - "Desktop": "Desktop" + "Desktop": "Desktop", + "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we'll happily add yours.

": "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.

Featured games on this page are added manually. Please get in contact and we'll happily add yours.

" } diff --git a/client/src/components/inventory.tsx b/client/src/components/inventory.tsx index 6eb84cb..676be72 100644 --- a/client/src/components/inventory.tsx +++ b/client/src/components/inventory.tsx @@ -100,7 +100,7 @@ function InventoryList({items, docType, openDoc, tab=null, setTab=undefined, lev function InventoryItem({item, name, displayName, locked, disabled, newly, showDoc, enableAll=false}) { const icon = locked ? : disabled ? : item.st - const className = locked ? t("locked") : disabled ? t("disabled") : newly ? t("new") : "" + const className = locked ? "locked" : disabled ? "disabled" : newly ? "new" : "" // Note: This is somewhat a hack as the statement of lemmas comes currently in the form // `Namespace.statement_name (x y : Nat) : some type` const title = locked ? t("Not unlocked yet") : diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx index e200384..c522536 100644 --- a/client/src/components/landing_page.tsx +++ b/client/src/components/landing_page.tsx @@ -172,7 +172,7 @@ function LandingPage() {

Featured games on this page are added manually. - Please get in contact and we-ll happily add yours. + Please get in contact and we'll happily add yours.