DOKK / manpages / debian 10 / cinnamon / cinnamon-menu-editor.1.en
CINNAMON-MENU-EDITOR(1) cinnamon manual CINNAMON-MENU-EDITOR(1)

cinnamon-menu-editor - Editor for the panel menu

cinnamon-menu-editor

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

cinnamon-settings(1)

2012-07-23 Cinnamon