internal void SetFocus () { SetFocus (gtkContent); }
void OnTabPress(object s, EventArgs args) { CurrentTab = Array.IndexOf(box.Children, s); DockItemTitleTab t = (DockItemTitleTab)s; DockItem.SetFocus(t.Page); QueueDraw(); }