get-plain-label in labelled-menu-item<%>
Like
get-label, except that ampersands in the label are removed as described in
set-label.
get-plain-label in labelled-menu-item<%>
Like
get-label, except that ampersands in the label are removed as described in
set-label.