protected override void OnRemoved(Widget widget) { bool wasVisible = widget.Visible; if (grip == widget) { widget.Unparent(); grip = null; if (wasVisible) { QueueResize(); } return; } else if (widget != Child) { return; } if (InDrag) { EndDrag(true); } widget.Unparent(); Child = null; if (wasVisible) { QueueResize(); } }
protected DockItem() { // remove NoWindow flag WidgetFlags &= ~(WidgetFlags.NoWindow); DockObjectFlags &= ~(DockObjectFlags.Automatic); if (HasGrip) { grip = new DockItemGrip(this); grip.Parent = this; grip.Show(); } }
protected override void OnDestroyed() { if (tabLabel != null) { tabLabel = null; } if (menu != null) { menu.Detach(); menu = null; } if (grip != null) { Remove(grip); grip = null; } if (dockPlaceHolder != null) { dockPlaceHolder = null; } base.OnDestroyed(); }
protected DockItem() { // remove NoWindow flag WidgetFlags &= ~(WidgetFlags.NoWindow); DockObjectFlags &= ~(DockObjectFlags.Automatic); if (HasGrip) { grip = new DockItemGrip (this); grip.Parent = this; grip.Show (); } }
protected override void OnRemoved(Widget widget) { bool wasVisible = widget.Visible; if (grip == widget) { widget.Unparent (); grip = null; if (wasVisible) QueueResize (); return; } else if (widget != Child) { return; } if (InDrag) EndDrag (true); widget.Unparent (); Child = null; if (wasVisible) QueueResize (); }
protected override void OnDestroyed() { if (tabLabel != null) tabLabel = null; if (menu != null) { menu.Detach (); menu = null; } if (grip != null) { Remove (grip); grip = null; } if (ph != null) { ph = null; } base.OnDestroyed (); }
protected override void OnDestroyed() { if (tabLabel != null) tabLabel = null; if (menu != null) { menu.Detach (); menu = null; } if (grip != null) { Remove (grip); grip = null; } if (dockPlaceHolder != null) { dockPlaceHolder = null; } base.OnDestroyed (); }