protected void AddButton (string label, Gtk.Widget page)
{
TabView view = new TabView (label, page);
tabs.Add (view);
if (WorkbenchWindow != null) {
view.WorkbenchWindow = WorkbenchWindow;
WorkbenchWindow.AttachViewContent (view);
}
}
protected void AddButton(string label, Gtk.Widget page)
{
TabView view = new TabView(label, page);
tabs.Add(view);
if (WorkbenchWindow != null)
{
view.WorkbenchWindow = WorkbenchWindow;
WorkbenchWindow.AttachViewContent(view);
}
}
void OnActiveViewContentChanged(object o, ActiveViewContentEventArgs e)
{
if (WorkbenchWindow.ActiveViewContent == this)
{
OnPageShown(0);
}
else
{
TabView tab = WorkbenchWindow.ActiveViewContent as TabView;
if (tab != null)
{
int n = tabs.IndexOf(tab);
if (n != -1)
{
OnPageShown(n + 1);
}
}
}
}
