internal void RemoveItem(DockBarItem it)
{
DisableHoverActivation();
box.Remove(it);
it.Shown -= OnItemVisibilityChanged;
it.Hidden -= OnItemVisibilityChanged;
UpdateVisibility();
}
void ResetBarUndockMode()
{
if (dockBarItem != null)
{
dockBarItem.Close();
dockBarItem = null;
if (titleTab != null)
{
titleTab.UpdateBehavior();
}
}
}
internal DockBarItem AddItem(DockItem item, int size)
{
DisableHoverActivation();
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 SetAutoHideMode(Gtk.PositionType pos, int size)
{
ResetMode();
if (widget != null)
{
widget.Hide(); // Avoids size allocation warning
if (widget.Parent != null)
{
((Gtk.Container)widget.Parent).Remove(widget);
}
}
dockBarItem = frame.BarDock(pos, this, size);
if (titleTab != null)
{
titleTab.UpdateBehavior();
}
SetRegionStyle(frame.GetRegionStyleForItem(this));
}
internal void UpdateTitle(DockItem item)
{
try
{
foreach (Widget w in box.Children)
{
DockBarItem it = w as DockBarItem;
if (it != null && it.DockItem == item)
{
it.UpdateTab();
break;
}
}
}
catch (GLib.MissingIntPtrCtorException)
{
Console.WriteLine("DockBar.UpdateTitle() catch GLib.MissingIntPtrCtorException!");
}
}
internal void RemoveItem(DockBarItem it)
{
DisableHoverActivation ();
box.Remove (it);
it.Shown -= OnItemVisibilityChanged;
it.Hidden -= OnItemVisibilityChanged;
UpdateVisibility ();
}
internal DockBarItem AddItem(DockItem item, int size)
{
DisableHoverActivation ();
DockBarItem it = new DockBarItem (this, item, size);
box.PackStart (it, false, false, 0);
it.ShowAll ();
UpdateVisibility ();
it.Shown += OnItemVisibilityChanged;
it.Hidden += OnItemVisibilityChanged;
return it;
}
void ResetBarUndockMode()
{
if (dockBarItem != null)
{
dockBarItem.Close();
dockBarItem = null;
if (titleTab != null)
titleTab.UpdateBehavior();
}
}
internal void SetAutoHideMode(Gtk.PositionType pos, int size)
{
ResetMode();
if (widget != null)
{
widget.Hide(); // Avoids size allocation warning
if (widget.Parent != null)
{
((Gtk.Container)widget.Parent).Remove(widget);
}
}
dockBarItem = frame.BarDock(pos, this, size);
if (titleTab != null)
titleTab.UpdateBehavior();
SetRegionStyle(frame.GetRegionStyleForItem(this));
}
