protected virtual void OnNotebookChangeCurrentPage(object o, Gtk.ChangeCurrentPageArgs args) { UpdateRepoDescription (); }