diff -r 211d6a185e31 -r d320367eb2ad svghmi/svghmi.js
--- a/svghmi/svghmi.js	Thu Apr 02 14:03:38 2020 +0200
+++ b/svghmi/svghmi.js	Thu Apr 02 14:04:21 2020 +0200
@@ -411,7 +411,6 @@
     need_cache_apply.push(this);
     jumps_need_update = true;
     requestHMIAnimation();
-    console.log(opstr, new_item_offset);
 }