Source position: gtkwidget.pp line 352
procedure gtk_widget_set_state(
widget: PGtkWidget;
state: TGtkStateType
);