2009/10/6 Bean <bean12...@gmail.com>:
> On Tue, Oct 6, 2009 at 11:18 PM, Michal Suchanek <hramr...@centrum.cz> wrote:
>>
>> I think there are these common uses for borders:
>>
>> - line border in graphics, box drawing char border in text
>> This is the simplest case which does not require any support media.
>> This should be well supported so that creating layout that just
>> works is easy (think fixing grub configuration, posting on pastebin,
>> etc)
>
> Yes, you can archive it with this:
>
> top_left = ",,cyan/blue,#0x250F:,,green/blue,#0x2554"
This gives box drawing characters in both graphics and text. Perhaps
this is an acceptable solution for single border but I would like this
to be the default grub configuration when no theme is applied and
having a distinct more precise border in graphics mode would be a
bonus.
The extend alignment does not seem to work quite well, nor does
setting absolute size and margins (which is slightly more ugly).
Thanks
Michal
screen {
background = "/menu/back.png,,blue"
direction = left_to_right
position = center
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"
term {
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
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_color = brown:red
term {
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
width = 100%
height = 100%
font = "Times Regular 18"
color = "cyan/blue:light-gray/blue"
}
}
}
screen {
background = "/menu/back.png,,blue"
direction = left_to_right
position = center
padding_top = 15/0
padding_left = 15/0
padding_right = 15/0
padding_bottom = 15/0
panel {
width = 50%
height = 100%
margin_top = 15/0
margin_bottom = 15/0
margin_left = 15/1
margin_right = 15/1
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"
term {
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
width = 100%
height = 100%
color = "cyan/blue:light-gray/blue"
}
}
panel {
width = 50%
height = 100%
margin_top = 15/0
margin_bottom = 15/0
margin_left = 15/1
margin_right = 15/1
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_color = brown:red
term {
padding_top = 8/0
padding_bottom = 8/0
padding_left = 8/1
padding_right = 8/1
width = 100%
height = 100%
font = "Times Regular 18"
color = "cyan/blue:light-gray/blue"
}
}
}
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
