Source position: gtkwidget.inc line 330
procedure gtk_widget_destroyed(
widget: PGtkWidget;
var widget_pointer: PGtkWidget
);