cinnamon-menu-editor1
Editor for the panel menu
Usage
cinnamon-menu-editor
Overview
cinnamon-menu-editor runs the graphical user interface allowing to edit the menu displayed in cinnamon.
Releases
Unchanged in 7 releases since Debian 8 (Jessie).