3 default_font "dejavu-10.font";
7 texture "helloworld.png";
9 border { left 3; right 3; top 3; bottom 3; };
12 graphic "button_bg_pressed"
14 texture "helloworld.png";
16 border { left 3; right 3; top 3; bottom 3; };
21 font_color 0.0 0.0 0.0;
25 graphic NORMAL "button_bg";
26 graphic ACTIVE "button_bg_pressed";
33 margin { left 3; right 3; top 3; bottom 3; };
39 font_color 0.0 0.0 0.0;
50 texture "helloworld.png";
52 border { left 3; right 3; top 3; bottom 3; };
55 graphic "entry_cursor"
57 texture "helloworld.png";
63 font_color 0.0 0.0 0.0;
67 graphic NORMAL "entry_bg";
74 margin { left 3; right 3; top 3; bottom 3; };
79 graphic FOCUS "entry_cursor";
82 margin { left 3; right 3; top 3; bottom 3; };
88 texture "helloworld.png";
90 border { left 4; right 4; top 4; bottom 4; };
97 graphic NORMAL "panel_bg";