equal
deleted
inserted
replaced
1 // widget_scrollbar.ysl2 |
1 // widget_scrollbar.ysl2 |
2 |
2 |
3 template "widget[@type='ScrollBar']", mode="widget_class"{ |
3 template "widget[@type='ScrollBar']", mode="widget_class"{ |
4 || |
4 || |
5 class ScrollBarWidget extends Widget{ |
5 class ScrollBarWidget extends Widget{ |
6 frequency = 5; |
6 frequency = 10; |
7 position = undefined; |
7 position = undefined; |
8 range = undefined; |
8 range = undefined; |
9 size = undefined; |
9 size = undefined; |
10 mincursize = 0.1; |
10 mincursize = 0.1; |
11 |
11 |