Cinnamon is Linux Mint's flagship desktop environment. Started as a Gnome fork, now it is fully independent, but Gnome's roots can still be found in this DE. One of them is the appearance of menus, which will be changed in the next release.
Advertisement
