суббота, 7 января 2012 г.

GNOME 3. Шрифт панелей

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

Комментариев нет:

Отправить комментарий