Как изменить размер шрифта в панели gnome-shell

Я попробовал gnome-shell в Ubuntu с помощью gnome-shell --replaceкоманды. Это работает хорошо, но я думаю, что размер шрифта в панели оболочки слишком велик.

Можно ли настроить размер шрифта на панели gnome-shell?

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

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

Нашел это:

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

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

.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;
}

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

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

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

Посты, рекомендующие редактирование /usr/share/gnome-shell/theme/gnome-shell.css, верны; однако следует отметить, что если вы используете альтернативную тему оболочки gnome (например, у вас Linux Mint), могут быть дополнительные редактируемые файлы.

Например, тема Mint12 «Mint-Z» содержит настраиваемые файлы .css в /usr/share/themes/Mint-Z.

Кроме того, расширения gnome-shell могут иметь свои настраиваемые файлы .css, расположенные в /usr/share/gnome-shell/extensions/{extension id}/или $HOME/.local/share/gnome-shell/extensions/{extension id}/. Я не уверен, хотя, если эти настройки могут переопределить настройки по умолчанию темы.

РЕДАКТИРОВАТЬ: @Guilherme на самом деле отвечает на ваш вопрос.

К сведению: В моей системе ( gnome-shell 3.2.1-0ubuntu1) соответствующий селектор CSS расположен в /usr/share/gnome-shell/theme/gnome-shell.cssстроке 720 и установлен на 7.5pt. Однако фактическая настройка для моей системы Mint12 - /usr/share/themes/Mint-Z/gnome-shell.css@line 880, и она установлена ​​на 8pt. Измените это значение, затем перезагрузите тему, используя команду 'rt' в командной ALT+F2строке.

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

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

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

Источник:

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