Re: [GITGRUB] New menu interface (implementation)

[Bean]

On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek <address@hidden> wrote:
> Hello
>
> I tried to get some borders into the previous demo but I got overlapping 
> panels.
>
> This should not happen because it is not supported. That's what the
> layout manager is for.

Hi,

I think you misunderstand the meaning of margin_* properties. It means
that the widget is always at a constant distance from parent widget.
Once it's set, their position is fixed, it's not subject to the layout
manger. This is used to create sticky panels like docks. For example:

panel
{
  panel { id="aa" margin_bottom=0 }
  panel { id="bb" }
  panel { id="cc" }
  panel { id="dd"}
}

aa's location is fixed, bb, cc and dd's location is calculated by the
panel, they can overlap with aa.

The sticky panel also doesn't move when view port is scrolled to
display active item.

-- 
Bean

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