comparison themes/default/Scrollbar.cfg @ 0:c10bc63824e7

Initial commit!
author zzzzrrr <mason.green@gmail.com>
date Fri, 20 Mar 2009 06:41:25 -0400
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:c10bc63824e7
1 widget HScrollbar {
2 [hexpand hfill] new HBox {
3 shape = Rectangle;
4 style.normal = {
5 background = solid(rgba(0.26, 0.26, 0.26, 1));
6 }
7
8 new ScrollbarButton button1 {
9 arrowDir = 2;
10 }
11
12 [hexpand hfill] new HWidgetSlider slider {
13 new Graphic {
14 size = 17 17;
15 style.normal = {
16 image = grid("themes/default/img/scrollhandle.png", hline(3, 14), vline(3, 14));
17 background = solid(white);
18 border = 1 rgba(.1, .1, .1, .8);
19 }
20 }
21
22 handleSize = .2;
23 skip = false;
24 }
25
26 new ScrollbarButton button2 {
27 arrowDir = 0;
28 }
29 }
30
31 handleSize = prop(slider.handleSize);
32 position = prop(slider.position);
33 skipSize = prop(slider.skipSize);
34
35 button1 = sub(button1);
36 button2 = sub(button2);
37 slider = sub(slider);
38 }
39
40
41
42 widget VScrollbar {
43 [vexpand vfill] new VBox {
44 shape = Rectangle;
45 style.normal = {
46 background = solid(rgba(0.26, 0.26, 0.26, 1));
47 }
48
49 new ScrollbarButton button1 {
50 arrowDir = 1;
51 }
52
53 [vexpand vfill] new VWidgetSlider slider {
54 new Graphic {
55 size = 17 17;
56 style.normal = {
57 image = grid("themes/default/img/scrollhandle.png", hline(3, 14), vline(3, 14));
58 background = solid(white);
59 border = 1 rgba(.1, .1, .1, .8);
60 }
61 }
62
63 handleSize = .2;
64 skip = false;
65 }
66
67 new ScrollbarButton button2 {
68 arrowDir = 3;
69 }
70 }
71
72 handleSize = prop(slider.handleSize);
73 position = prop(slider.position);
74 skipSize = prop(slider.skipSize);
75
76 button1 = sub(button1);
77 button2 = sub(button2);
78 slider = sub(slider);
79 }