2009/10/6 Bean <bean12...@gmail.com>: > 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.
This is an interesting feature but I was more interested in controlling the border in text mode independently of graphics mode. For example, I would want something like: - graphics: 3px outer space, 2px border, 16px inner space (unfortunately there is no character unit usable because the character size is different when measured horizontally and vertically) - text: single border using the box drawing characters, inner space vertical 1character AFAIK this is not possible. > > > 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) This sounds good. The case when the widgets should be packed in the center can be done with an additional centered panel. > > 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. > This sucks. Since overlap is not properly handled it should not happen. I am not sure what is the use of this property anyway. Thanks Michal _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
