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