Изменения шрифта панели в gnome 3

За минуту гугления:

Please change the /usr/share/gnome-shell/theme/gnome-shell.css accordingly. For example, if you want to change panel font, you can add font-family: «FontName» into .panel-button. And you can further customize the font of the Dashboard, etc.

You have to edit file «/usr/share/gnome-shell/js/ui/panel.js». Find a line «const DEFAULT_FONT» and change font size (or even name).

http://superuser.com/questions/107408/how-to-change-font-size-in-gnome-shell-...

Да, пора уже буржуйский гугл юзать, что-то я.

Кстати, не актуально. Переменной DEFAULT_FONT в /usr/share/gnome-shell/js/ui/panel.js нет.

Значит ищи решение по ссылке, что я дал.

Плюс: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

А она разве не дефолтный шрифт использует?

В смысле, чем вас дефолтный не устраивает?

Он криво выглядит. По крайней мере, у меня.

потомучто арчЪ:)

Уж лучше арчЪ ;) Сам-то каким дистром пользуешься?

То есть вы меняете дефолтные шрифты во всей системе, или персонально для панели хотите?

>Please change the /usr/share/gnome-shell/theme/gnome-shell.css accordingly

Это костыль. При обновлении отпадёт. Надо делать так: скопировать /usr/share/gnome-shell/theme в ~/.themes/my-new-theme/gnome-shell и в ~/.themes/my-new-theme/gnome-shell/gnome-shell.css в stage{} поменять font-family. Размер поменять можно, если поискать по тому файлу по 'pt' (по дефолту там 10.5pt). Потом новую тему назначить в gnome-tweak-tool, предварительно установив экстеншн user-theme.

>В смысле, чем вас дефолтный не устраивает?

В Cantarell страшное ШГ связано с тем, что русские и английские буквы разной высоты, которая ещё и меняется по мере ввода текста.

Просто в таких хитрожопых местах я простоя менял алиасы Serif и Sans Serif.

самым тролеугодным:) бубунтой:)))))

>То есть вы меняете дефолтные шрифты во всей системе, или персонально для панели хотите?

Только для панели.

Так и сделаю, спасибо.

самым тролеугодным:) бубунтой:)))))

Иронично улыбнулся ;)

вот с этого надо было и начинать:) а то сразу в бутылку полез:)

В stage{} было несколько font-family, удалил все шрифты, добавил тот что мне нужен. Толку 0. Или я не так сделал? Тему не копировал, применял настройки, набрав «r» в alt+f2.

В stage{} было несколько font-family, удалил все шрифты, добавил тот что мне нужен.

Я так же сделал, работало. Возможно, название шрифта неправильно. Вот моё:

max@laptop ~ $ head -n 22 ~/.themes/freesans-font/gnome-shell/gnome-shell.css | tail -n 3
stage {
    font-family: FreeSans;
}

Тему не копировал, применял настройки, набрав «r» в alt+f2.

Попробуй всё-таки сделать отдельную тему, это лучшее решение, чем редактировать дефолт.

В Cantarell страшное ШГ связано с тем, что там нет кириллицы

Действительно, опечатался в названии шрифта. Спасибо.

лол.
это в теме gnome-shell правиться

Ни у кого не было проблем с шеллом после редактирования gnome-shell.css? У меня Периодически зависает GNOME Shell кажется исчезло, когда вернул дефолтный конфиг с ШГ...

У меня - не было. Но я им недолго пользовался.