diff -r bc666f020ab3 -r ce6cecdb7320 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Thu Feb 13 09:41:43 2020 +0100
+++ b/svghmi/svghmi.js	Thu Feb 13 09:43:35 2020 +0100
@@ -14,6 +14,8 @@
         /*else {
             throw new Error("Dunno how to dispatch to widget at index = " + index);
         }*/
+    } catch(err) {
+        console.log(err);
     }
 }
 
@@ -38,8 +40,7 @@
             try {
                 init.call(widget);
             } catch(err) {
-                console.log("Widget initialization error : "+err.message);
-
+                console.log(err);
             }
         }
     });