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

Question

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

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

Answer 1

Пожалуйста, измените /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/

Answer 2

Нашел это:

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

Answer 3

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

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

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

Answer 4

Посты, рекомендующие редактирование /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 .

Answer 5

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

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

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

Источник:

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