set_menu


Description:

public void set_menu (Menu menu)

Set the value of the menu property.

Parameters:

this

A Widget

menu

A Menu