Меню настроек обычно содержит намного больше элементов (для одного «Настроить ярлыки»). Что здесь произошло?
Я попробовал:
aptitude remove --purge konsole; aptitude install konsole
aptitude dist-upgrade
ничего из этого не помогло.
Система представляет собой недавно установленный Linux Mint Xfce 17.3.