internal void AddTopLevel(DockFrameTopLevel w, int x, int y)
{
w.Parent = this;
w.X = x;
w.Y = y;
Requisition r = w.SizeRequest();
w.Allocation = new Gdk.Rectangle(Allocation.X + x, Allocation.Y + y, r.Width, r.Height);
topLevels.Add(w);
}
internal void RemoveTopLevel(DockFrameTopLevel w)
{
w.Unparent();
topLevels.Remove(w);
QueueResize();
}
