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