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: Bean
Subject: Re: [GITGRUB] New menu interface (implementation)
Date: Tue, 6 Oct 2009 13:35:10 +0800

On Tue, Oct 6, 2009 at 1:52 AM, address@hidden
<address@hidden> wrote:
>> Perhaps the naming of margin_* property is a little misleading,
>> perhaps I can rename them distance_* to remind it they're used as
>> fixed distance to borders of parent.
>
> That's undoubtedly the problem.
>
> For example, Motif uses the term "attach" to achieve fixed distance
> from the edge of the parent (or from a sibling component).
>
> See e.g. http://www.cs.cf.ac.uk/Dave/X_lecture/node8.html

Hi,

Oh, attach is a better name, thanks for the tip.

-- 
Bean

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




reply via email to

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