GNOME Bugzilla – Bug 791130
vapi: Gtk.Menu.popup() and popup_for_device() should be marked as deprecated
Last modified: 2017-12-10 19:13:32 UTC
vapi: Gtk.Menu.popup() should be marked as deprecated. gtk_menu_popup() and gtk_menu_popup_for_device() are deprecated.
There is a `Deprecated: x.xx` GObject Introspection annotation. Ideally that would feed through the GIR from the annotations in: gtk_menu_popup (https://git.gnome.org/browse/gtk+/tree/gtk/gtkmenu.c#n1828) gtk_menu_popup_for_device (https://git.gnome.org/browse/gtk+/tree/gtk/gtkmenu.c#n1761) At present there are no annotations for that in the C source, but I'm not sure Vala would pick up on that if they were there.
Fixed with https://bugzilla.gnome.org/show_bug.cgi?id=730746
Thanks!