Source position: gtknotebook.inc line 147
procedure gtk_notebook_set_tab_border(
notebook: PGtkNotebook;
border_width: guint
);