GUIMenuItem
identifies a
terminal selection from a menu in a graphical user interface. In particular, this is distinct
from a menu (GUIMenu
) and a
submenu (GUISubmenu
). The
distinction between a GUIMenuItem
and a GUISubmenu
is simply whether or not the selection is terminal or leads to an
additional submenu.