GtkWidget::set_name

void set_name(string name);

See also: get_name() , name