internal void RemoveItem(DockBarItem it)
{
box.Remove(it);
it.Shown -= OnItemVisibilityChanged;
it.Hidden -= OnItemVisibilityChanged;
UpdateVisibility();
}
internal DockBarItem AddItem(DockItem item, int size)
{
DockBarItem it = new DockBarItem(this, item, size);
box.PackStart(it, false, false, 0);
it.ShowAll();
UpdateVisibility();
it.Shown += OnItemVisibilityChanged;
it.Hidden += OnItemVisibilityChanged;
return(it);
}
internal void UpdateTitle(DockItem item)
{
foreach (Widget w in box.Children)
{
DockBarItem it = w as DockBarItem;
if (it != null && it.DockItem == item)
{
it.UpdateTab();
break;
}
}
}
void ResetBarUndockMode()
{
if (dockBarItem != null)
{
dockBarItem.Close();
dockBarItem = null;
if (widget != null)
{
widget.UpdateBehavior();
}
}
}
internal void SetAutoHideMode(Gtk.PositionType pos, int size)
{
ResetMode();
if (widget != null)
{
widget.Hide(); // Avoids size allocation warning
widget.Unparent();
}
dockBarItem = frame.BarDock(pos, this, size);
if (widget != null)
{
widget.UpdateBehavior();
}
}
