[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: Mon, 5 Oct 2009 12:45:07 +0800

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.


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 { 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.


gitgrub home:
my fork page:

reply via email to

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