equal
deleted
inserted
replaced
1 // widget_circuralslider.ysl2 |
1 // widget_circuralslider.ysl2 |
2 |
2 |
3 template "widget[@type='CircularSlider']", mode="widget_class" |
3 widget_class("CircularSlider") |
4 || |
4 || |
5 class CircularSliderWidget extends Widget{ |
|
6 frequency = 5; |
5 frequency = 5; |
7 range = undefined; |
6 range = undefined; |
8 circle = undefined; |
7 circle = undefined; |
9 handle_pos = undefined; |
8 handle_pos = undefined; |
10 curr_value = 0; |
9 curr_value = 0; |
226 this.setpoint_style = this.setpoint_elt.getAttribute("style"); |
225 this.setpoint_style = this.setpoint_elt.getAttribute("style"); |
227 this.setpoint_elt.setAttribute("style", "display:none"); |
226 this.setpoint_elt.setAttribute("style", "display:none"); |
228 } |
227 } |
229 |
228 |
230 } |
229 } |
231 } |
|
232 || |
230 || |
233 |
231 |
234 template "widget[@type='CircularSlider']", mode="widget_defs" { |
232 widget_defs("CircularSlider") { |
235 param "hmi_element"; |
233 param "hmi_element"; |
236 labels("handle range"); |
234 labels("handle range"); |
237 optional_labels("value min max setpoint"); |
235 optional_labels("value min max setpoint"); |
238 |, |
236 |, |
239 } |
237 } |