Re: [GITGRUB] New menu interface (implementation)

[Bean]

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/