We now have a working Gtk+ menu.  When porting from PyGTK (2) to Gi.repository.Gtk (3), it's helpful if you tie your menus to the running instance...
Merge remote-tracking branch 'origin/master'