widget_class("VarSync") {

||

dispatch(value, oldval, varnum) {

if (varnum === 0) {

let dest_index = this.get_variable_index(1);

let current_dest_val = cache[dest_index];

if (value !== current_dest_val) {

this.apply_hmi_value(1, value);

}

}

else if (varnum === 1) {

let src_index = this.get_variable_index(0);

if (value !== cache[src_index]) {

this.apply_hmi_value(0, value);

}

}

}

init() {

this.element.style.display = "none";

}

||

}