GtkNotebook::set_tab_hborder

void set_tab_hborder(int tab_hborder);

WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.