From https://chronologicaldot.wordpress.com/2015/03/06/restoring-linux-mint-menu-panel/$

6/16/2016 - 1:30 PM

$ gsettings reset-recursively org.cinnamon

Cacher is the code snippet organizer for pro developers