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!");
}
}
