--- a/svghmi/svghmi.js Thu Feb 04 21:20:01 2021 +0100
+++ b/svghmi/svghmi.js Thu Feb 04 21:23:58 2021 +0100
@@ -465,3 +465,18 @@
current_modal = undefined;
};
+function switch_lang(lang) {
+ langnum = langs.indexOf(lang);
+ if(langnum == -1) {
+ console.log("Unknown language: "+lang+", return to original");
+ location.reload(true);
+ }
+
+ for (let translation of translations) {
+ let [objs, msgs] = translation;
+ let msg = msgs[langnum];
+ for (let obj of objs) {
+ msg.split('\\\\n').map((line,i) => {obj.children[i].textContent = line;});
+ }
+ }
+}