Как изменить размер шрифта в WebStorm Linux Ubuntu 20.04?
Всем привет!
Суть проблемы:
Поставил WebStrom на linux ubuntu 20.04. Столкнулся с проблемой увеличенного шрифта.
В настройках указа 14 шрифт, но в действительности он гораздо больше.
Подскажите как с этим бороться, пожалуйста.
All settings... - Editor - Font
Или вас беспокоит конкретно этот, относящийся к текстам интерфейса?
Он может искажаться настройками DPI в самой системе.
Дело в том, что я даже не вносил никаких изменений
Окно приложение как будто с увеличенным масштабом
Я пробовал переустанавливать - не помогло.
Когда устанавливал впервые все было ок.
Может вы знаете как полностью удалить jetbrains из Ubuntu?
NikitaTelenkov, знаю. Взять да удалить.
Оно не ставится "в Убунту", просто запускается из той папки, куда распаковано.
Но удалять смысла нет, достаточно разобраться с настройками.
Они лежат в ~/.config/JetBrains/
Нужно найти опции для запуска приложения - webstorm64.vmoptions - и копаться в нем.
Поэкспериментировать с тамошними настройками шрифтов и рендера (гуглится, настройки общие для всего семейства IntelliJ IDE).
Простой
