--- 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); }