GtkNotebook::set_tab_border

void set_tab_border(int border_width);

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