* sudo apt-get update
* sudo apt-get upgrade
--are there any upgrades you are missing..
* apt search mintmenu
p mintmenu - Advanced Gnome menu
--is mintmenu available to you
* sudo apt-get install mintmenu
asymmetros wrote:Maybe it's something that it happens rarely.
A possible solution is to completely removed mintmenu and reinstall it through Synaptic. It worked once...