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