equal
deleted
inserted
replaced
1 // widget_display.ysl2 |
1 // widget_display.ysl2 |
2 |
2 |
3 |
3 |
4 template "widget[@type='Display']", mode="widget_class" |
4 widget_class("Display") |
5 || |
5 || |
6 class DisplayWidget extends Widget{ |
|
7 frequency = 5; |
6 frequency = 5; |
8 dispatch(value, oldval, index) { |
7 dispatch(value, oldval, index) { |
9 this.fields[index] = value; |
8 this.fields[index] = value; |
10 this.request_animate(); |
9 this.request_animate(); |
11 } |
10 } |
12 } |
|
13 || |
11 || |
14 |
12 |
15 template "widget[@type='Display']", mode="widget_defs" { |
13 widget_defs("Display") { |
16 param "hmi_element"; |
14 param "hmi_element"; |
17 |
15 |
18 const "format" optional_labels("format"); |
16 const "format" optional_labels("format"); |
19 const "has_format","string-length($format)>0"; |
17 const "has_format","string-length($format)>0"; |
20 value "$format"; |
18 value "$format"; |