equal
deleted
inserted
replaced
343 | evt => alert('XXX TODO : Edit value')); |
343 | evt => alert('XXX TODO : Edit value')); |
344 } |
344 } |
345 foreach "$hmi_element/*[regexp:test(@inkscape:label,'^[=+\-][0-9]+')]" { |
345 foreach "$hmi_element/*[regexp:test(@inkscape:label,'^[=+\-][0-9]+')]" { |
346 | document.getElementById("«@id»").addEventListener( |
346 | document.getElementById("«@id»").addEventListener( |
347 | "click", |
347 | "click", |
348 | evt => change_hmi_value(this.indexes[0], "«@inkscape:label»")); |
348 | evt => {let new_val = change_hmi_value(this.indexes[0], "«@inkscape:label»"); |
|
349 | this.value_elt.textContent = String(new_val);}); |
|
350 /* could gray out value until refreshed */ |
349 } |
351 } |
350 | }, |
352 | }, |
351 } |
353 } |
352 template "widget[@type='Button']", mode="widget_defs" { |
354 template "widget[@type='Button']", mode="widget_defs" { |
353 } |
355 } |