public void AddTab(DockItemTitleTab tab) { mTabs.Add(new Tab(tab)); tab.Active = false; tab.Page.Hide(); }
void OnTabPress(object s, Gtk.ButtonPressEventArgs args) { CurrentTab = Array.IndexOf(box.Children.ToArray(), s); DockItemTitleTab t = (DockItemTitleTab)s; DockItem.SetFocus(t.Page); QueueDraw(); args.RetVal = true; }
public Tab(DockItemTitleTab value) { DockItemTitleTab = value; Label = DockItemTitleTab.label; if (DockItemTitleTab.tabIcon != null) { Image = DockItemTitleTab.tabIcon.Pixbuf; } }
internal DockItem(DockFrame frame, string id, Component component = null) { this.frame = frame; this.id = id; Content = component; if (Content != null) { Icon = Content.ComponentInfo.Icon; } UpdateTitle(); currentVisualStyle = regionStyle = frame.GetRegionStyleForItem(this); titleTab = new DockItemTitleTab(this); titleTab.VisualStyle = currentVisualStyle; titleTab.SetTitle(Widget, Icon, Title); titleTab.ShowAll(); }
public void AddTab(DockItemTitleTab tab) { if (tab.Parent != null) { ((Gtk.Container)tab.Parent).Remove(tab); } box.Add(tab); // box.PackStart(tab, false, false, 0); tab.WidthRequest = tab.LabelWidth; if (currentTab == -1) { CurrentTab = box.Children.Count() - 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); tab.WidthRequest = tab.LabelWidth; if (currentTab == -1) CurrentTab = box.Children.Length - 1; else { tab.Active = false; tab.Page.Hide(); } tab.ButtonPressEvent += OnTabPress; }