equal
deleted
inserted
replaced
1 // widget_scrollbar.ysl2 |
1 // widget_scrollbar.ysl2 |
|
2 widget_desc("ScrollBar") { |
|
3 longdesc |
|
4 || |
|
5 ScrollBar - documentation to be written |
|
6 || |
|
7 |
|
8 shortdesc > ScrollBar |
|
9 |
|
10 path name="value" accepts="HMI_INT" > value |
|
11 path name="range" accepts="HMI_INT" > range |
|
12 path name="visible" accepts="HMI_INT" > visible |
|
13 |
|
14 } |
2 |
15 |
3 widget_class("ScrollBar") { |
16 widget_class("ScrollBar") { |
4 || |
17 || |
5 frequency = 10; |
18 frequency = 10; |
6 position = undefined; |
19 position = undefined; |
90 } |
103 } |
91 || |
104 || |
92 } |
105 } |
93 |
106 |
94 widget_defs("ScrollBar") { |
107 widget_defs("ScrollBar") { |
95 param "hmi_element"; |
|
96 labels("cursor range"); |
108 labels("cursor range"); |
97 |
109 |
98 const "pagebuttons" optional_labels("pageup pagedown"); |
110 const "pagebuttons" optional_labels("pageup pagedown"); |
99 const "have_pagebuttons","string-length($pagebuttons)>0"; |
111 const "have_pagebuttons","string-length($pagebuttons)>0"; |
100 value "$pagebuttons"; |
112 value "$pagebuttons"; |