Изменение размера шрифта панелей и меню в 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Вот что получилось.
Техническая поддержка MODX
Сайт лежит, тормозит или остался без разработчика?
Переезд с MODX 2 на 3, PHP 7 на 8, скорость и безопасность. Поддержка со сроками и ответственностью, а не совет в чате.
Подробнее
Реклама
2
Комментарии: 2