похоже, у моего linux проблемы со шрифтами сглаживания. Как вы можете видеть на картинке, метки пунктов меню слегка пикселированы.
,
В другой системе с точно такими же настройками шрифта пункты меню выглядят великолепно. Есть идеи, что неправильно настроено?
Некоторые детали: проблема появилась несколько дней назад, когда я удалил Gnome 3 и установил KDE. Теперь единственная установленная среда рабочего стола - это xfce.