IDEs Support (IntelliJ Platform) | JetBrains

Cory Geesaman

Total activity 29
Last activity June 02, 2018 18:23
Member since July 06, 2013 11:24
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 8

Edited June 01, 2018 20:42

In regard to: Editor.getColorsScheme().setEditorFontName(fontName) What is the appropriate location to make that call?
- 0 votes
Created June 01, 2018 12:19

Ah OK, a custom font is probably better then, though I'll likely use that as a base and just merge my characters into it then post it as well.
- 0 votes
Created June 01, 2018 12:01

I noticed that the DejaVu Sans Mono font used by IntelliJ is an open source font - do you know how often IntelliJ is synced off this? Since none of the brackets in the otherwise mono spaced font a...
- 0 votes
Created June 01, 2018 10:03

These are the brackets I'm using so the failover probably isn't the best route. The font in IntelliJ does find characters, but they generally look really bad kerning-wise, aiming to replace these ...
- 0 votes