beremiz

SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.

2022-11-25, Edouard Tisserant
6dc619fa28aa
Parents 9289fdda0222
Children 4b75f1506ea1
SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
1 files changed, 2 insertions(+), 1 deletions(-)
  • +2 -1
    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);
    }