Re: [GITGRUB] New menu interface (implementation)

[Bean]

Hi,

Update:

Support fill character in graphic mode, this can be used to draw rect
box using ascii character, for example:

    top_left = ",,cyan/blue,#0x250F:,,green/blue,#0x2554"
    top = ",tiling,cyan/blue,#0x2501:,,green/blue,#0x2550"
    top_right = ",,cyan/blue,#0x2513:,,green/blue,#0x2557"
    left = ",tiling,cyan/blue,#0x2503:,,green/blue,#0x2551"
    right = ",tiling,cyan/blue,#0x2503:,,green/blue,#0x2551"
    bottom_left = ",,cyan/blue,#0x2517:,,green/blue,#0x255A"
    bottom = ",tiling,cyan/blue,#0x2501:,,green/blue,#0x2550"
    bottom_right = ",tiling,cyan/blue,#0x251B:,,green/blue,#0x255D"

It draws double rect box when selected, single rect box when not
selected. Works both in text and graphic mode.

To draw a solid color rect, use #0 as the fill character, as in:

background = ",,blue,#0"

Adjustment to the layout manager, now it support the following properties:

direction:
Same as before, value can be left_to_right, right_to_left,
top_to_bottom (default) and bottm_to_top.

position:
This indicate how extra space are distributed among children widgets:
near: pack the widgets at the near end (for example, in left_to_right,
near is left)
center: space are distributed evenly among widgets
far: pack the widgets at the far end (for example, in left_to_right,
far is right)

valign, halign:
Now align property control the position of current widget, instead of
its children, each have four values:
left/top
center
right/bottom
extend - Extend the widget to the full width/height of parent.

margin_left, margin_right, margin_top, margin_bottom
This properties set the inner space reserved by the panel

padding_left, padding_right, padding_top, padding_bottom
This set the outbound box of the panel

attach_left, attach_right, attach_top, attach_bottom
Stick the widget to one of the border of parent, once this is set, the
widget is no longed controlled by the layout manager and therefore can
overlap with other widget.

The demo menu.zip is updated for the new properties.

-- 
Bean

gitgrub home: http://github.com/grub/grub/
my fork page: http://github.com/bean123/grub/