Я попробовал 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;
}
Да, это возможно. У меня такая же проблема :)
/usr/share/gnome-shell/js/ui/panel.js
.const DEFAULT_FONT
и измените размер шрифта (или даже имя).Кстати: вы можете настроить практически все, редактируя файлы 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:\
Источник: