Source position: gtkwidget.pp line 291
function GTK_WIDGET_RECEIVES_DEFAULT(
wid: PGtkWidget
):Boolean;