GtkNotebook::set_page
WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.
Use set_current_page() instead.
WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.
Use set_current_page() instead.