Source position: gtknotebook.pp line 141
procedure gtk_notebook_set_tab_border(
notebook: PGtkNotebook;
border_width: guint
);