Как изменить размер шрифта в WebStorm Linux Ubuntu 20.04?

Question

[NikitaTelenkov]

Всем привет!
Суть проблемы:
Поставил WebStrom на linux ubuntu 20.04. Столкнулся с проблемой увеличенного шрифта.
В настройках указа 14 шрифт, но в действительности он гораздо больше.
Подскажите как с этим бороться, пожалуйста.

Answer 1

[Adamos]

All settings... - Editor - Font
Или вас беспокоит конкретно этот, относящийся к текстам интерфейса?
Он может искажаться настройками DPI в самой системе.

Comments

[NikitaTelenkov]

Дело в том, что я даже не вносил никаких изменений
Окно приложение как будто с увеличенным масштабом
Я пробовал переустанавливать - не помогло.
Когда устанавливал впервые все было ок.
Может вы знаете как полностью удалить jetbrains из Ubuntu?

[Adamos]

NikitaTelenkov, знаю. Взять да удалить.
Оно не ставится "в Убунту", просто запускается из той папки, куда распаковано.
Но удалять смысла нет, достаточно разобраться с настройками.
Они лежат в ~/.config/JetBrains/
Нужно найти опции для запуска приложения - webstorm64.vmoptions - и копаться в нем.
Поэкспериментировать с тамошними настройками шрифтов и рендера (гуглится, настройки общие для всего семейства IntelliJ IDE).

[Adamos]

NikitaTelenkov, собственно, если вы просто удалите папку с настройками, все должно заработать так, как при первом запуске.