Source position: gtkwidget.pp line 378
procedure gtk_widget_restore_default_style(
widget: PGtkWidget
);