menuchoice.separator
— Separator between items of a menuchoice
other than guimenuitem
and
guisubmenu
Separator used to connect items of a menuchoice
other
than guimenuitem
and guisubmenu
. The latter
elements are linked with menuchoice.menu.separator
.