--- a/svghmi/svghmi.js	Mon Sep 12 11:56:52 2022 +0200
+++ b/svghmi/svghmi.js	Tue Sep 13 16:29:21 2022 +0200
@@ -1,7 +1,5 @@
 // svghmi.js
 
-var need_cache_apply = [];
-
 function dispatch_value(index, value) {
     let widgets = subscribers(index);
 
@@ -86,10 +84,6 @@
             }
         }
 
-        while(widget = need_cache_apply.pop()){
-            widget.apply_cache();
-        }
-
         if(jumps_need_update) update_jumps();