Class Design.protected_menu_factory

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