private void AddTab ()
{
current_tab = new DocumentTab (nb_tabs);
current_manager = current_tab.Buffer.Undoer;
current_manager.UndoChanged += UndoChanged;
nb_tabs.AppendPage (current_tab, current_tab.TabLabel);
nb_tabs.ShowTabs = (nb_tabs.NPages > 1);
nb_tabs.ShowAll ();
nb_tabs.CurrentPage = nb_tabs.PageNum (current_tab);
nb_tabs.SwitchPage += new SwitchPageHandler (OnChangeTab);
}
private void OnChangeTab (object sender, SwitchPageArgs args)
{
current_tab = (DocumentTab) nb_tabs.GetNthPage((int) args.PageNum);
current_manager = current_tab.Buffer.Undoer;
Undo.Sensitive = current_manager.CanUndo;
Redo.Sensitive = current_manager.CanRedo;
}