Source position: gtkproc.pp line 462
procedure RemoveDummyNoteBookPage(
NoteBookWidget: PGtkNotebook
);