Gtk.Notebook::switch_page

function vfunc_switch_page(page:Gtk.Widget, page_num:Number):void {
}