set_menu


Description:

[ Version ( since = "2.6" ) ]
public void set_menu (Widget menu)

Sets the Menu that is popped up when the user clicks on the arrow.

If menu is NULL, the arrow button becomes insensitive.

Parameters:

this

a MenuToolButton

menu

the Menu associated with MenuToolButton