Widget.setMenuModel
void setMenuModel(gio.menu_model.MenuModel menuModel = null)Sets the #GMenuModel for the widget.
#PanelFrameHeader may use this model to display additional options for the page to the user via menus.
Parameters
menuModel | a #GMenuModel |