Source position: gtkwidget.inc line 392
procedure gtk_widget_set_name(
widget: PGtkWidget;
name: Pgchar
);