Provided by: cinnamon_3.6.7-8ubuntu1_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)