• View
• Edit
• History
• Print
• PDF

Modificare Il Menu Di Cinnamon

Per modificare il menu di Gnome Cinnamon serve un programma: cinnamon-menu-editor