On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek <hramr...@centrum.cz> 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/ _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel