grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [GITGRUB] New menu interface (implementation)


From: Michal Suchanek
Subject: Re: [GITGRUB] New menu interface (implementation)
Date: Wed, 7 Oct 2009 23:13:13 +0200

2009/10/7 Michal Suchanek <address@hidden>:
> 2009/10/7 Bean <address@hidden>:
>> On Wed, Oct 7, 2009 at 4:54 PM, Michal Suchanek <address@hidden> 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.

Thanks

Michal

Attachment: term.txt
Description: Text document


reply via email to

[Prev in Thread] Current Thread [Next in Thread]