class protected_menu_factory : Gtk_helper.host -> GMenu.menu -> [GMenu.menu] GMenu.factory
Gtk_helper.host -> GMenu.menu ->
[GMenu.menu]
GMenu.factory