//Called when the user changes the active Tab
void ChangeTab(object o, SwitchPageArgs args)
{
//Deactivate the old history
CurrentTab.history.Active = false;
//Get the new Tab
CurrentTab = (Tab) tabs_nb.GetNthPage ((int) args.PageNum);
title_label.Text = CurrentTab.Title;
//Activate the new history
CurrentTab.history.Active = true;
if (CurrentTab.Tab_mode == Mode.Viewer) {
CurrentTab.history.ActivateCurrent();
paste1.Sensitive = false;
print.Sensitive = true;
} else {
paste1.Sensitive = true;
print.Sensitive = false;
}
if (tree_browser.SelectedNode != CurrentTab.CurrentNode)
tree_browser.ShowNode (CurrentTab.CurrentNode);
}
// Adds a Tab and Activates it
void AddTab()
{
CurrentTab = new Tab (this);
tabs_nb.AppendPage (CurrentTab, CurrentTab.TabLabel);
tabs_nb.ShowTabs = (tabs_nb.NPages > 1);
close_tab.Sensitive = (tabs_nb.NPages > 1);
tabs_nb.ShowAll (); //Needed to show the new tab
tabs_nb.CurrentPage = tabs_nb.PageNum (CurrentTab);
//Show root node
Node match;
string s = Browser.GetHtml ("root:", null, help_tree, out match);
if (s != null){
Render (s, match, "root:");
CurrentTab.history.AppendHistory (new Browser.LinkPageVisit (this, "root:"));
}
}