Как изменить размер шрифта в панели оболочки гнома

Изменитесь /usr/share/gnome-shell/theme/gnome-shell.css соответственно. Например, если Вы хотите изменить шрифт панели, можно добавить font-family: "FontName" в .panel-button. И можно далее настроить шрифт Панели инструментов и т.д.

Вы можете контроль мое сообщение в блоге при настройке оболочки гнома: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Да, это возможно. У меня была та же проблема :)

1. Необходимо отредактировать файл /usr/share/gnome-shell/js/ui/panel.js.
2. Найдите строку const DEFAULT_FONT и измените размер шрифта (или даже назовите).
3. После этого необходимо перезапустить оболочку гнома: нажмите Alt+F2, тип r, и нажмите Enter.

BTW: можно настроить почти все путем редактирования файлов JavaScript, расположенных в ui каталог.

sudo gedit /usr/share/vte/termcap/xterm

Отредактируйте эту строку:

:co#80:it#8:li#24:\

Источник:

http://ubuntuforums.org/showthread.php?t=15471

Найденный этим:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

Я играл вокруг с некоторыми настройками в файле гнома-shell.css и посредством небольшого количества метода проб и ошибок, сумел увеличить размер текста под Значками приложения. На строке 638, я увеличил размер шрифта с 7.5 ПБ до 11.5 ПБ, которые сделали это более читаемым. Код:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

Я также решил уменьшить размер значков.

.icon-grid .overview-icon {
    icon-size: 96px;
}