Source position: gtkwidget.pp line 309
procedure gtk_widget_destroyed(
widget: PGtkWidget;
widget_pointer: PPGtkWidget
);