void OnTabPress(object s, EventArgs args) { CurrentTab = Array.IndexOf(box.Children, s); DockItemTitleTab t = (DockItemTitleTab)s; DockItem.SetFocus(t.Page); QueueDraw(); }
void OnTabPress(object s, Gtk.ButtonPressEventArgs args) { CurrentTab = Array.IndexOf(box.Children, s); DockItemTitleTab t = (DockItemTitleTab)s; DockItem.SetFocus(t.Page); QueueDraw(); args.RetVal = true; }
public void AddTab (DockItemTitleTab tab) { if (tab.Parent != null) ((Gtk.Container)tab.Parent).Remove (tab); box.PackStart (tab, false, false, 0); if (currentTab == -1) CurrentTab = box.Children.Length - 1; else { tab.Active = false; tab.Page.Hide (); } tab.ButtonPressEvent += OnTabPress; }
public void AddTab(DockItemTitleTab tab) { if (tab.Parent != null) { ((Gtk.Container)tab.Parent).Remove(tab); } box.PackStart(tab, false, false, 0); if (currentTab == -1) { CurrentTab = box.Children.Length - 1; } else { tab.Active = false; tab.Page.Hide(); } tab.ButtonPressEvent += OnTabPress; }
public void AddTab(DockItemTitleTab tab) { if (tab.Parent != null) { ((Gtk.Container)tab.Parent).Remove(tab); } box.PackStart(tab, false, false, 0); if (currentTab == -1) { CurrentTab = box.Children.Length - 1; } else { tab.Active = false; tab.Page.Hide(); } tab.TabPressed += OnTabPress; tab.UpdateRole(true, this); UpdateAccessibilityTabs(); }