[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [GITGRUB] New menu interface (implementation)
From: |
Bean |
Subject: |
Re: [GITGRUB] New menu interface (implementation) |
Date: |
Wed, 7 Oct 2009 14:05:29 +0800 |
On Wed, Oct 7, 2009 at 6:16 AM, Michal Suchanek <address@hidden> wrote:
> 2009/10/6 Bean <address@hidden>:
>> On Tue, Oct 6, 2009 at 11:18 PM, Michal Suchanek <address@hidden> 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).
Hi,
The extend attribute extends in the orthogonal direction, for example
screen
{
direction = "left_to_right"
panel { width=50% id="aa" valign=top }
panel { width=50% id="bb" valign=extend}
}
--
Bean
gitgrub home: http://github.com/grub/grub/
my fork page: http://github.com/bean123/grub/
- Re: [GITGRUB] New menu interface (implementation), (continued)
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation),
Bean <=
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/08