Menu: menus, role and position options are special

[jzaefferer]

menus and role applies only on create and refresh (for new submenus), position is applied only when opening a submenu. None of them are processed when changing the option after creation of the widget.

[scottgonzalez]

I didn't add a note about position, because it seems unlikely that a user would change position while the menu is open.