equal
deleted
inserted
replaced
1 // widget_slider.ysl2 |
1 // widget_slider.ysl2 |
2 |
2 |
3 template "widget[@type='Slider']", mode="widget_class" |
3 widget_class("Slider") |
4 || |
4 || |
5 class SliderWidget extends Widget{ |
5 class SliderWidget extends Widget{ |
6 frequency = 5; |
6 frequency = 5; |
7 range = undefined; |
7 range = undefined; |
8 handle_orig = undefined; |
8 handle_orig = undefined; |
337 |
337 |
338 } |
338 } |
339 } |
339 } |
340 || |
340 || |
341 |
341 |
342 template "widget[@type='Slider']", mode="widget_defs" { |
342 widget_defs("Slider") { |
343 param "hmi_element"; |
343 param "hmi_element"; |
344 labels("handle range"); |
344 labels("handle range"); |
345 optional_labels("value min max setpoint"); |
345 optional_labels("value min max setpoint"); |
346 |, |
|
347 } |
346 } |