IDEs Support (IntelliJ Platform) | JetBrains

Florian Burka

Total activity 4
Last activity August 19, 2019 15:30
Member since August 19, 2019 15:23
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 1

Florian Burka commented, August 19, 2019 15:30
Same here, fontsize does not get saved with IntelliJ IDEA Ultimate 2019.2 on Ubuntu 19.04 and custom font (Go).Changing ui.Inf.xml did help :-) Thanks Liviu!
- 0 votes