Re: [GITGRUB] New menu interface (implementation)

[Michal Suchanek]

2009/10/5 Bean <address@hidden>:
> On Mon, Oct 5, 2009 at 5:57 AM, Michal Suchanek <address@hidden> wrote:
>> There are panels above it so it is not left to right.
>>
>> The margin should increase the outer size of the widget so that when
>> space is allocated for it the margin is taken into account but not
>> stick it to the bottom. That's what alignment (valign) is for.
>
> Hi,
>
> To add space between widgets whose location is calculated by layout
> manger, use hspace and vspace, margin_bottom is used to indicate that

It does not add space between the elements contained in a panel and
the border of the panel.

Thanks

Michal