How do I get a widget's "name"?
When I define a GUI using Glade, I can "name" the widgets of the window but how do I recover that property when I have a widget object instance?
I've tried get_property(), get_name() and $widget.name to no avail.
Update: I am using GtkBuilder file format (i.e. XML format).
Resolution: a fix I have used: use the set_property("name", name) method on the widget just after getting it from GtkBuilder.