SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
authorEdouard Tisserant
Fri, 25 Nov 2022 11:12:14 +0100
changeset 3702 6dc619fa28aa
parent 3691 9289fdda0222
child 3703 4b75f1506ea1
SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
svghmi/widgets_common.ysl2
--- 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);
         }