From 80d4b88f5aeb5a6833c3f9f07607acc435cd9848 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 6 Jun 2024 12:33:04 +0200 Subject: [PATCH] mostly remove 'world' as a word #237 --- client/public/locales/de/translation.json | 22 ++++++++-------------- client/public/locales/en/translation.json | 22 ++++++++-------------- client/src/components/infoview/main.tsx | 2 +- client/src/components/level.tsx | 2 +- client/src/components/navigation.tsx | 8 ++++---- 5 files changed, 22 insertions(+), 34 deletions(-) diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index b3018d33..8bf1872f 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -10,32 +10,19 @@ "none": "keine", "Rules": "Regeln", "Intro": "Einführung", - "Game Introduction": "Spieleinführung", - "World selection": "Weltenauswahl", "Start": "Start", - "Inventory": "Inventar", - "next level": "nächstes Level", "Next": "Weiter", - "back to world selection": "Zurück zur Weltenauswahl", - "Leave World": "Welt verlassen", - "previous level": "voheriges Level", "Previous": "Zurück", "Editor mode is enforced!": "Editor kann nicht verlassen werden!", "Editor mode": "Editor", "Typewriter mode": "Schreibmaschine", "Preferences": "Einstellungen", - "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", @@ -96,5 +83,12 @@ "Privacy Policy": "Datenschutzerklärung", "<0>Impressum<1>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details<2>Legal form:
The Heinrich Heine University Düsseldorf is a corporation under public law. It is legally represented by the Rector Prof. Dr. Anja Steinbeck. The responsible supervisory authority is the Ministry of Culture and Science of North Rhine-Westphalia, Völklinger Straße 49, 40221 Düsseldorf.<3>VAT identification number:
according to §27a Sales Tax Act
DE 811222416<4><0>Impressum HHU": "<0>Impressum<1>Kontakt:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Deutschland
+49 211 81-14690
<14>Kontaktinformationen<2>Rechtsform:
Die Heinrich-Heine Universität Düsseldorf ist eine Körperschaft des Öffentlichen Rechts. Sie wird durch die Rektorin Prof. Dr. Anja Steinbeck gesetzlich vertreten. Zuständige Aufsichtsbehörde ist das Ministerium für Kultur und Wissenschaft des Landes Nordrhein-Westfalen, Völklinger Straße 49, 40221 Düsseldorf.<3>Umsatzsteuer-Identifikationsnummer:
gemäß §27a Umsatzsteuergesetz
DE 811222416<4><0>Impressum der HHU", "<0>Progress saving<1>The game stores your progress in your local browser storage. If you delete it, your progress will be lost!
Warning: In most browsers, deleting cookies will also clear the local storage (or \"local site data\"). Make sure to download your game progress first!<2>Development<3>The game engine has been created by Alexander Bentkamp, Jon Eugster. On a prototype by Patrick Massot.<4>The source code of this Lean game engine is <1>available on Github. If you experience any problems, please file an <3>Issue on Github or get directly in contact.<5>Funding<6>The game engine has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität Düsseldorf. It is funded by the Stiftung Innovation in der Hochschullehre as part of project Freiraum 2022.": "<0>Spielstandspeicherung<1>Das Spiel speichert den Spielstand im lokalen Browserspeicher. Wird dieser gelöscht, ist der Spielstand nicht wiederherstellbar!
Achtung: In üblichen Browsern bewirkt ein löschen von Cookies auch ein löschen des lokalen Browserspeichers (z.B. \"local site data\"). Der Spielstand sollte vorgehend heruntergeladen werden!<2>Entwicklung<3>Der Spieleserver wurde entwickelt von Alexander Bentkamp, Jon Eugster. Basierend auf einem Prototyp von Patrick Massot.<4>Der Sourcecode dieses Lean-Game-Engine ist <1>auf Github verfügbar. Bei Problemen, bitte einen <3>Github-Issue ausfüllen oder direkt mit uns Kontakt aufnehmen.<5>Funding<6>Dieser Spielserver wurde im Rahmen des Projekts <1>ADAM: Anticipating the Digital Age of Mathematics an der Heinrich-Heine-Universität Düsseldorf entwickelt. Es wird finanziell durch das Projekt Freiraum 2022 der Stiftung Innovation in der Hochschullehre unterstützt.", - "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details": "<0>Datenschutzerklärung

Unser Server verarbeitet Benutzer-Metadaten (zum Beispiel IP-Addresse, Browser-Version, Betriebssystem) sowie die Benutzereingaben in den Editor. Diese Daten werden verwendet um die Lean-Ausgabe zu berechnen und dem Benutzer darzustellen. Die Informationen werden nur gespeichert, solange der Benutzer auf unserer Webseite bleibt und anschliessend sofort gelöscht. Wir führen Log-Dateien um die Software zu verbessern, aber die enthaltenen Daten sind anonymisiert.

Wir verwenden keine Cookies, aber der Spielstand wird im Browser als \"Site Data\" gespeichert. Der Spielstand wird nicht auf dem Server gespeichert; wird er lokal gelöscht, kann er nicht wiederhergestellt werden.

Unser Server ist in Deutschland stationiert.

<4>Kontakt:
Markus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Deutschland
+49 211 81-14690
<14>Kontaktdetails" + "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details": "<0>Datenschutzerklärung

Unser Server verarbeitet Benutzer-Metadaten (zum Beispiel IP-Addresse, Browser-Version, Betriebssystem) sowie die Benutzereingaben in den Editor. Diese Daten werden verwendet um die Lean-Ausgabe zu berechnen und dem Benutzer darzustellen. Die Informationen werden nur gespeichert, solange der Benutzer auf unserer Webseite bleibt und anschliessend sofort gelöscht. Wir führen Log-Dateien um die Software zu verbessern, aber die enthaltenen Daten sind anonymisiert.

Wir verwenden keine Cookies, aber der Spielstand wird im Browser als \"Site Data\" gespeichert. Der Spielstand wird nicht auf dem Server gespeichert; wird er lokal gelöscht, kann er nicht wiederhergestellt werden.

Unser Server ist in Deutschland stationiert.

<4>Kontakt:
Markus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Deutschland
+49 211 81-14690
<14>Kontaktdetails", + "home": "", + "close language menu": "Sprachmenü schließen", + "open language menu": "Sprachmenü öffnen", + "close menu": "Menü schließen", + "open menu": "Menü öffnen", + "Editor Mode": "", + "Typewriter Mode": "" } diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json index b953a042..8892b516 100644 --- a/client/public/locales/en/translation.json +++ b/client/public/locales/en/translation.json @@ -10,32 +10,19 @@ "none": "none", "Rules": "Rules", "Intro": "Intro", - "Game Introduction": "Game Introduction", - "World selection": "World selection", "Start": "Start", - "Inventory": "Inventory", - "next level": "next level", "Next": "Next", - "back to world selection": "back to world selection", - "Leave World": "Leave World", - "previous level": "previous level", "Previous": "Previous", "Editor mode is enforced!": "Editor mode is enforced!", "Editor mode": "Editor mode", "Typewriter mode": "Typewriter mode", "Preferences": "Preferences", - "Game Info & Credits": "Game Info & Credits", "Game Info": "Game Info", - "Clear Progress": "Clear Progress", "Erase": "Erase", - "Download Progress": "Download Progress", "Download": "Download", - "Load Progress from JSON": "Load Progress from JSON", "Upload": "Upload", "Home": "Home", "back to games selection": "back to games selection", - "close inventory": "close inventory", - "show inventory": "show inventory", "World": "World", "Show more help!": "Show more help!", "Goal": "Goal", @@ -96,5 +83,12 @@ "Privacy Policy": "Privacy Policy", "<0>Impressum<1>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details<2>Legal form:
The Heinrich Heine University Düsseldorf is a corporation under public law. It is legally represented by the Rector Prof. Dr. Anja Steinbeck. The responsible supervisory authority is the Ministry of Culture and Science of North Rhine-Westphalia, Völklinger Straße 49, 40221 Düsseldorf.<3>VAT identification number:
according to §27a Sales Tax Act
DE 811222416<4><0>Impressum HHU": "<0>Impressum<1>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details<2>Legal form:
The Heinrich Heine University Düsseldorf is a corporation under public law. It is legally represented by the Rector Prof. Dr. Anja Steinbeck. The responsible supervisory authority is the Ministry of Culture and Science of North Rhine-Westphalia, Völklinger Straße 49, 40221 Düsseldorf.<3>VAT identification number:
according to §27a Sales Tax Act
DE 811222416<4><0>Impressum HHU", "<0>Progress saving<1>The game stores your progress in your local browser storage. If you delete it, your progress will be lost!
Warning: In most browsers, deleting cookies will also clear the local storage (or \"local site data\"). Make sure to download your game progress first!<2>Development<3>The game engine has been created by Alexander Bentkamp, Jon Eugster. On a prototype by Patrick Massot.<4>The source code of this Lean game engine is <1>available on Github. If you experience any problems, please file an <3>Issue on Github or get directly in contact.<5>Funding<6>The game engine has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität Düsseldorf. It is funded by the Stiftung Innovation in der Hochschullehre as part of project Freiraum 2022.": "<0>Progress saving<1>The game stores your progress in your local browser storage. If you delete it, your progress will be lost!
Warning: In most browsers, deleting cookies will also clear the local storage (or \"local site data\"). Make sure to download your game progress first!<2>Development<3>The game engine has been created by Alexander Bentkamp, Jon Eugster. On a prototype by Patrick Massot.<4>The source code of this Lean game engine is <1>available on Github. If you experience any problems, please file an <3>Issue on Github or get directly in contact.<5>Funding<6>The game engine has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität Düsseldorf. It is funded by the Stiftung Innovation in der Hochschullehre as part of project Freiraum 2022.", - "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details": "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details" + "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details": "<0>Privacy Policy

Our server collects metadata (such as IP address, browser, operating system) and the data that the user enters into the editor. The data is used to compute the Lean output and display it to the user. The information will be stored as long as the user stays on our website and will be deleted immediately afterwards. We keep logs to improve our software, but the contained data is anonymized.

We do not use cookies, but your game progress is stored in the browser as site data. Your game progress is not saved on the server; if you delete your browser storage, it is completely gone.

Our server is located in Germany.

<4>Contact:
Marcus Zibrowius, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
Germany
+49 211 81-14690
<14>Contact Details", + "home": "home", + "close language menu": "close language menu", + "open language menu": "open language menu", + "close menu": "close menu", + "open menu": "open menu", + "Editor Mode": "Editor Mode", + "Typewriter Mode": "Typewriter Mode" } diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx index 4403a99f..2a4c0131 100644 --- a/client/src/components/infoview/main.tsx +++ b/client/src/components/infoview/main.tsx @@ -601,7 +601,7 @@ export function TypewriterInterface({props}) {
{props.level >= props.worldSize ? : : //