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;
}