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.

this	a MenuToolButton
menu	the Menu associated with MenuToolButton