Provided by: cinnamon_3.8.8-1_amd64 bug

NAME

       cinnamon-menu-editor - Editor for the panel menu

SYNOPSIS

       cinnamon-menu-editor

DESCRIPTION

       cinnamon-menu-editor runs the graphical user interface allowing to edit the menu displayed
       in cinnamon.

SEE ALSO

       cinnamon-settings(1)