svghmi/svghmi.js
branchsvghmi
changeset 3078 d345673610b0
parent 3075 2f9dbd3ee445
child 3080 e5fa1f49f0b9
equal deleted inserted replaced
3077:82312473d153 3078:d345673610b0
   262     if(new_val != undefined && old_val != new_val)
   262     if(new_val != undefined && old_val != new_val)
   263         send_hmi_value(index, new_val);
   263         send_hmi_value(index, new_val);
   264     return new_val;
   264     return new_val;
   265 }
   265 }
   266 
   266 
   267 quotes = {"'":null, '"':null};
   267 const quotes = {"'":null, '"':null};
   268 
   268 
   269 function change_hmi_value(index, opstr) {
   269 function change_hmi_value(index, opstr) {
   270     let op = opstr[0];
   270     let op = opstr[0];
   271     let given_val;
   271     let given_val;
   272     if(opstr.length < 2) 
   272     if(opstr.length < 2)