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.
Given the widget w, what does w.get_name() return?  If None, that means the widget has no name property.  Maybe you want gtk.glade.get_widget_name(w) instead?  (I'm not sure if the name property of the widget and the name for it in the Glade XML from which it was created are the same thing...).
Python GTK+ widget name