# HG changeset patch
# User Edouard Tisserant
# Date 1669371134 -3600
# Node ID 6dc619fa28aaba3ddca0a0d903937f658caf7878
# Parent  9289fdda0222d30e334c4e7eb79b6b8ae8e0d214
SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.

diff -r 9289fdda0222 -r 6dc619fa28aa 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);
         }