Шрифт панелей не изменить через gnome-tweak-tool. На сегодняшний день - только вручную:
- Открываем файл /usr/share/gnome-shell/theme/gnome-shell.css;
- Присваиваем font-family то, что любо глазу. Для меня это "Liberation Sans";
- Сохраняем изменения и перезапускаем gnome-shell.
Комментариев нет:
Отправить комментарий