|
0
|
1 widget TabButton {
|
|
|
2 layout = HBox;
|
|
|
3 layout = {
|
|
|
4 spacing = -1;
|
|
|
5 }
|
|
|
6 size = 80 0;
|
|
|
7
|
|
|
8 [vexpand vfill hexpand hfill] new Group {
|
|
|
9 layout = Layered;
|
|
|
10
|
|
|
11 [hfill vfill] new Graphic {
|
|
|
12 size = 0 22;
|
|
|
13 style.normal = {
|
|
|
14 background = solid(white);
|
|
|
15 image = grid("themes/default/img/tbw.png", hline(1, 47), vline(3, 19));
|
|
|
16 }
|
|
|
17 style.active = {
|
|
|
18 image = grid("themes/default/img/tbw_active.png", hline(1, 72), vline(1, 21));
|
|
|
19 }
|
|
|
20 style.hover = {
|
|
|
21 image = grid("themes/default/img/tbw_hover.png", hline(1, 51), vline(3, 19));
|
|
|
22 }
|
|
|
23 }
|
|
|
24
|
|
|
25 [hfill vfill] new HBox {
|
|
|
26 layout = {
|
|
|
27 padding = 6 3;
|
|
|
28 spacing = 2;
|
|
|
29 }
|
|
|
30
|
|
|
31 [hexpand vexpand] new HBox leftExtra;
|
|
|
32 [vexpand] new Label label {
|
|
|
33 style.normal = {
|
|
|
34 color = rgb(.6, .6, .6);
|
|
|
35 }
|
|
|
36 style.active = {
|
|
|
37 color = rgb(.8, .8, .8);
|
|
|
38 }
|
|
|
39 }
|
|
|
40 [hexpand vexpand] new HBox rightExtra;
|
|
|
41 }
|
|
|
42 }
|
|
|
43
|
|
|
44 leftExtra = sub(leftExtra);
|
|
|
45 rightExtra = sub(rightExtra);
|
|
|
46 label = sub(label);
|
|
|
47 text = prop(label.text);
|
|
|
48
|
|
|
49 text = "Tab";
|
|
|
50 }
|
