equal
deleted
inserted
replaced
664 ws.onopen = ws_onopen; |
664 ws.onopen = ws_onopen; |
665 } |
665 } |
666 |
666 |
667 create_ws() |
667 create_ws() |
668 |
668 |
669 const xmlns = "http://www.w3.org/2000/svg"; |
|
670 var edit_callback; |
669 var edit_callback; |
671 const localtypes = {"PAGE_LOCAL":null, "HMI_LOCAL":null} |
670 const localtypes = {"PAGE_LOCAL":null, "HMI_LOCAL":null} |
672 function edit_value(path, valuetype, callback, initial) { |
671 function edit_value(path, valuetype, callback, initial) { |
673 if(valuetype in localtypes){ |
672 if(valuetype in localtypes){ |
674 valuetype = (typeof initial) == "number" ? "HMI_REAL" : "HMI_STRING"; |
673 valuetype = (typeof initial) == "number" ? "HMI_REAL" : "HMI_STRING"; |