IDEs Support (IntelliJ Platform) | JetBrains

Marek

Total activity 3
Last activity May 02, 2019 10:52
Member since April 24, 2019 08:28
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Marek commented, May 02, 2019 10:52
Hello Liviu, I was wondering myself where the font size was stored. Your tip worked for me. Thanks a lot! Indeed, the only difference is that for PyCharm the relevant file is located here: ~/.PyCha...
- 0 votes