diff -r 1fb0c07bd97b -r f45e413a0f40 svghmi/svghmi.js
--- 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;});
+        }
+    }
+}