Добрый день.
Сломалось главное меню в Cinnamon (Linux Mint):

Гуглением нашел похожую проблему
forum.ubuntu.ru/index.php?topic=239899.0
Там предлагают очистить содержимое директории ~/.config/menus
Но у меня редактор меню запускается и предложенное решение не работает.
Заранее спасибо за советы.