SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
--- a/svghmi/widgets_common.ysl2 Thu Nov 24 12:05:43 2022 +0100
+++ b/svghmi/widgets_common.ysl2 Fri Nov 25 11:12:14 2022 +0100
@@ -464,11 +464,12 @@
}
}
}
-
+
undeafen(index){
this.deafen[index] = undefined;
let [new_val, old_val] = this.incoming[index];
this.incoming[index] = undefined;
+ this.lastdispatch[index] = Date.now();
this.do_dispatch(new_val, old_val, index);
}