equal
deleted
inserted
replaced
2 |
2 |
3 template "widget[@type='Input']", mode="widget_class"{ |
3 template "widget[@type='Input']", mode="widget_class"{ |
4 || |
4 || |
5 class InputWidget extends Widget{ |
5 class InputWidget extends Widget{ |
6 on_op_click(opstr) { |
6 on_op_click(opstr) { |
7 let new_val = this.change_hmi_value(0, opstr); |
7 this.change_hmi_value(0, opstr); |
8 } |
8 } |
9 edit_callback(new_val) { |
9 edit_callback(new_val) { |
10 this.apply_hmi_value(0, new_val); |
10 this.apply_hmi_value(0, new_val); |
11 } |
11 } |
12 |
12 |