equal
deleted
inserted
replaced
411 |
411 |
412 }; |
412 }; |
413 |
413 |
414 var xmlns = "http://www.w3.org/2000/svg"; |
414 var xmlns = "http://www.w3.org/2000/svg"; |
415 var edit_callback; |
415 var edit_callback; |
|
416 const localtypes = {"PAGE_LOCAL":null, "HMI_LOCAL":null} |
416 function edit_value(path, valuetype, callback, initial, size) { |
417 function edit_value(path, valuetype, callback, initial, size) { |
417 |
418 if(valuetype in localtypes){ |
|
419 valuetype = (typeof initial) == "number" ? "HMI_REAL" : "HMI_STRING"; |
|
420 } |
418 let [keypadid, xcoord, ycoord] = keypads[valuetype]; |
421 let [keypadid, xcoord, ycoord] = keypads[valuetype]; |
419 edit_callback = callback; |
422 edit_callback = callback; |
420 let widget = hmi_widgets[keypadid]; |
423 let widget = hmi_widgets[keypadid]; |
421 widget.start_edit(path, valuetype, callback, initial, size); |
424 widget.start_edit(path, valuetype, callback, initial, size); |
422 }; |
425 }; |