diff -r 89c02b452717 -r 99c5335ed59f svghmi/svghmi.js
--- a/svghmi/svghmi.js	Tue Mar 24 14:03:19 2020 +0100
+++ b/svghmi/svghmi.js	Tue Mar 24 23:07:54 2020 +0100
@@ -303,7 +303,7 @@
     }
 }
 
-function unsubscribe_foreach(){
+function foreach_unsubscribe(){
     for(let item of this.items){
         for(let widget of item) {
             unsubscribe.call(widget);
@@ -311,7 +311,7 @@
     }
 }
 
-function subscribe_foreach(new_offset=0){
+function foreach_subscribe(new_offset=0){
     for(let i = 0; i < this.items.length; i++) {
         let item = this.items[i];
         let orig_item_index = this.index_pool[i];