Если я установлю системные шрифты на 14 пунктов, меню корицы сохранит тот же размер шрифта, что и раньше. Я пока не знаю, как изменить размер шрифта.
Все шрифты Cinnamon (меню, панель, апплеты) настраиваются в файле темы - cinnamon.css.
Хорошо, было бы улучшением, если бы это можно было настроить централизованно. Подумайте о людях, которые плохо видят и просто хотят везде менять размер шрифта.
Согласен, шрифты должны подчиняться системным настройкам. Если вы действительно хотите, чтобы их можно было настраивать отдельно, добавьте это в графический интерфейс.
Большое спасибо за вклад в Cinnamon. Ваше предложение было рассмотрено. Ваша работа сделана, и мы возьмем ее отсюда :)
Для получения дополнительной информации о нашем рабочем процессе и запросах функций прочтите https://linuxmint-troubleshooting-guide.readthedocs.io/en/latest/faq.html
Самый полезный комментарий
Согласен, шрифты должны подчиняться системным настройкам. Если вы действительно хотите, чтобы их можно было настраивать отдельно, добавьте это в графический интерфейс.