diff -r 634b43d69897 -r ed9b16b33628 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Fri Mar 13 21:42:40 2020 +0100
+++ b/svghmi/svghmi.js	Mon Mar 16 17:09:23 2020 +0100
@@ -12,11 +12,9 @@
         if(typeof(d) == "function" && idxidx == 0){
             d.call(widget, value, oldval);
         }
-        /* TODO deal with multiple paths
-           and dispatch according to index+page_offset */
-        /*else if(typeof(d) == "object" && d.length >= idxidx){
+        else if(typeof(d) == "object" && d.length >= idxidx){
             d[idxidx].call(widget, value, oldval);
-        }*/
+        }
         /* else dispatch_0, ..., dispatch_n ? */
         /*else {
             throw new Error("Dunno how to dispatch to widget at index = " + index);