equal
deleted
inserted
replaced
33 // /* TODO gray out value until refreshed */ |
33 // /* TODO gray out value until refreshed */ |
34 // } |
34 // } |
35 | }, |
35 | }, |
36 | on_edit_click: function(opstr) { |
36 | on_edit_click: function(opstr) { |
37 | var size = (typeof this.key_pos_elt !== 'undefined') ? this.key_pos_elt.getBBox() : undefined |
37 | var size = (typeof this.key_pos_elt !== 'undefined') ? this.key_pos_elt.getBBox() : undefined |
38 | edit_value("«path/@value»", "«path/@type»", this, this.last_val,size); |
38 | edit_value("«path/@value»", "«path/@type»", this, this.last_val, size); |
39 | }, |
39 | }, |
40 |
40 |
41 | edit_callback: function(new_val) { |
41 | edit_callback: function(new_val) { |
42 | this.apply_hmi_value(0, new_val); |
42 | this.apply_hmi_value(0, new_val); |
43 // if "$have_value"{ |
43 // if "$have_value"{ |