Source position: gtkwidget.inc line 465
procedure gtk_widget_restore_default_style(
widget: pointer
);