Is there any PyGTK documentation for the gtk.InfoBar widget? By the looks of it, it's a GTK 2.18 thing, and the PyGTK docs only go up to 2.17, so presumably that's why it's not there. At the moment I'm poring over the defs file, but is it available somewhere other than the usual place? — Jason