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(); }