Изменение размера шрифта панелей и меню в PhpStorm
Есть решение
Изменить свойства шрифта окна редактора проблем не составляет.
А вот как в ubuntu-подобных можно изменить, например, размер шрифта меню, вкладок и панелей.
1. Создать такой файл, дать ему любое имя и сохранить, например, в домашней директории
2. Запустить PhpStorm
Вот что получилось.
А вот как в ubuntu-подобных можно изменить, например, размер шрифта меню, вкладок и панелей.
1. Создать такой файл, дать ему любое имя и сохранить, например, в домашней директории
style "user-font"
{
font_name="Verdana 12"
}
widget_class "*" style "user-font"2. Запустить PhpStorm
GTK2_RC_FILES=путь/к/сохраненному/файлу путь/к/phpstorm.shВот что получилось.
Комментарии: 2