set_menu

Description:

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