Source position: gtkwidget.inc line 395
procedure gtk_widget_set_sensitive(
widget: PGtkWidget;
sensitive: gboolean
);