IDEs Support (IntelliJ Platform) | JetBrains

Gerbrand van Dieijen

Total activity 1
Last activity September 24, 2019 19:28
Member since September 24, 2019 19:28
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 0

Created September 24, 2019 19:28

The settings of IntelliJ are quite a mess, Note for self, and other people searching the web: In Appearance, Appearance and Behavior via Use Custom Font you can change the font of most of the UI e...
- 8 votes