Source position: gtkwidget.pp line 379
procedure gtk_widget_modify_style(
widget: PGtkWidget;
style: PGtkRcStyle
);