<p>
A menu is a widget that contains a collection of items arranged in a column. Menus
are typically activated by pressing the mouse button 1 while the pointer
is over a menu button; this is a pull-down menu. If a menu is tied to a mouse button,
usually the right button, it may also be posted by clicking the relevent
mouse button; this is a popup-menu.
<p>
