Source position: gtkwidget.pp line 373
function gtk_widget_hide_on_delete(
widget: PGtkWidget
):gint;