fun current_page=(page_num: Int) `{
		gtk_assistant_set_current_page(self, page_num);
	`}