void gtknotebook::switch-page	(gtknotebook *,
                             	 ggpointer,
                             	 gguint,
                             	 gpointer);