get_menu_by_id


Description:

public unowned Menu get_menu_by_id (string menu_id)

Similar to get_menu_by_id but takes into account menu merging which could have occurred upon loading plugins.

Parameters:

this

a Application

menu_id

the id of the menu to locate

Returns:

A Menu