get_menu


Description:

public unowned Widget get_menu ()

Gets the Menu associated with MenuToolButton .

Parameters:

this

a MenuToolButton

Returns:

the Menu associated with MenuToolButton