Source position: gtkwidget.pp line 350
procedure gtk_widget_set_name(
widget: PGtkWidget;
name: Pgchar
);