GtkWidget::set_name
void set_name(string name);
You may give a widget a unique name. This is mainly intended for
use when creating a derived object, but it can also be useful for
identifying individual widgets, for example, when an array of
buttons is going to be queried at a later point in the script.
See also: get_name() .
