--- a/svghmi/widget_jump.ysl2	Thu Apr 02 14:03:38 2020 +0200
+++ b/svghmi/widget_jump.ysl2	Thu Apr 02 14:04:21 2020 +0200
@@ -25,7 +25,6 @@
     |     frequency: 2,
     |     dispatch: function(value) {
     |         this.disabled = !Number(value);
-    |         console.log("disbled",value);
     |         this.update();
     |     },
     }