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