Detecting when an application changes the appMenu

[Amy <mathematical coffee gmail com>]

Hi,

Is there some way from the JS side of gnome-shell that I can tell when an application has set the application menu (for example Empathy adds a whole bunch of its own items)?

I *think* this happens when the application cals 'gtk_application_set_app_menu'[0], but I'm not sure. And am also not sure how to listen for this (how does gnome-shell listen for this in order to update the appMenu in the top panel?)

At the moment I listen for the menu being destroyed and recreated again soon after, but if there's an actual way that this gets detected (like DBus or something) I'd prefer that.

http://developer.gnome.org/gtk3/3.6/GtkApplication.html#gtk-application-set-app-menu