Re: [GITGRUB] New menu interface (implementation)

[Bean]

On Mon, Oct 5, 2009 at 12:06 AM, address@hidden
<address@hidden> wrote:
>>>  - the border settings offer many options but I miss the option for
>>>   - setting the text border explicitly to single/double border
>>> without using an image
>>
>> I think image is most flexible, who want ascii border in graphic mode
>> ? BTW, border in graphic mode doesn't necessary be full character
>> size, so text may not draw properly anyway. About the single/double
>> border, it's more suitable to config them using styles other that
>> property.
>
> Can't one obtain an N pixel solid border by using a parent panel with
> background = border color, and client panel just a few pixels smaller
> using the margin-positioning directives?
>
> This should give a border without needing a new set of commands, nor
> image files.

Hi,

You can use border_width, border_height and border_color property to
add a strip of solid color around a panel, no need to add another one.

-- 
Bean

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