Hi,
Update:
Change extend property, now it should be set in the children widget,
for example, to draw a toolbar:
screen {
direction = bottom_to_top
panel { class = frame }
panel {
direction = left_to_right
extend = 1
panel { extend = 1 class = frame }
panel { extend = 1 class = frame }
}
}
You can also use valign/halign to adjust the position of children
widget, default value is extend.
Replace border_width/border_height with
border_left/border_right/border_top/border_bottom. To set all borders
to the same size, use border_size. You can also use border_size to set
a default value and then overwrite some of the borders using
border_left/border_right/border_top/border_bottom.
Add margin_size and padding_size, the usage is very similar to border_*.
Rename style property to class.
--
Bean
gitgrub home: http://github.com/grub/grub/
my fork page: http://github.com/bean123/grub/
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
