Изменение размера шрифта панелей и меню в PhpStorm

Изменить свойства шрифта окна редактора проблем не составляет.
А вот как в ubuntu-подобных можно изменить, например, размер шрифта меню, вкладок и панелей.

1. Создать такой файл, дать ему любое имя и сохранить, например, в домашней директории

style "user-font" 
{
       font_name="Verdana 12" 
}
widget_class "*" style "user-font"


2. Запустить PhpStorm 

GTK2_RC_FILES=путь/к/сохраненному/файлу путь/к/phpstorm.sh


Вот что получилось.
Андрей Иванов
Андрей Иванов
19 июня 2015, 15:18
modx.pro
15 557
-1

Комментарии: 2

Василий Наумкин
Василий Наумкин
19 июня 2015, 18:46
0
А вот как в ubuntu-подобных можно изменить, например, размер шрифта меню, вкладок и панелей
Очень просто — зайти и поменять настройку Override default fonts
Авторизуйтесь или зарегистрируйтесь, чтобы оставлять комментарии.
2