widget_class("VarSync") {
dispatch(value, oldval, varnum) {
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);
let src_index = this.get_variable_index(0);
if (value !== cache[src_index]) {
this.apply_hmi_value(0, value);
this.element.style.display = "none";