On Thu, Oct 8, 2009 at 5:13 AM, Michal Suchanek <hramr...@centrum.cz> wrote:
> 2009/10/7 Michal Suchanek <hramr...@centrum.cz>:
>> 2009/10/7 Bean <bean12...@gmail.com>:
>>> On Wed, Oct 7, 2009 at 4:54 PM, Michal Suchanek <hramr...@centrum.cz> wrote:
>>>> This might make switching the direction of a panel more difficult but
>>>> there may be other issues. Either way the method with margin does not
>>>> work either.
>>>
>>> Hi,
>>>
>>> The latest version should work now, although there is a small issue,
>>> the margin_*, padding_* property only works for panel widget for now,
>>> so you should replace padding_* of the term with margin_* of parent
>>> panel.
>
> I tired the latest code and there is still some alignment issue.
>
> In graphics mode the top and bottom part of border is missing.
>
> The problem with zero width panels is fixed but a layout with a
> "toolbar" does not really work for me.
Hi,
Some issue of the config:
1, Don't add the c suffix , now default unit is character, just use
number. Also, if you set height/width directly, it should include the
border size, so minimum value is 2 (for top and bottom rect).
2, You should use far position as you want to extend the widget at the
far side (top).
3, border_width only draws left/right border, to draw top/bottom
border, you need to add border_height as well.
This config should work:
screen {
background = "/menu/back.png,,blue"
direction = bottom_to_top
position = far
panel {
height = 2
halign = extend
top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"
}
panel {
direction = left_to_right
position = center
valign = extend
halign = extend
panel {
valign = extend
halign = extend
top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
term {
width = 100%
height = 100%
color = "cyan/blue:light-gray/blue"
}
}
panel {
valign = extend
halign = extend
top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"
border_width = 2/0
border_height = 2/0
border_color = brown:red
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
term {
width = 100%
height = 100%
font = "Times Regular 18"
color = "cyan/blue:light-gray/blue"
}
}
}
}
--
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
