Source position: gtkwidget.pp line 374
procedure gtk_widget_set_style(
widget: PGtkWidget;
style: PGtkStyle
);