Source position: gtknotebook.pp line 143
procedure gtk_notebook_set_tab_vborder(
notebook: PGtkNotebook;
tab_vborder: guint
);