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

Cory Geesaman created a post, June 02, 2018 18:23
PersistentStateComponent<T>.noStateLoaded?

What is PersistentStateComponent<T>.noStateLoaded() used for? Is this class documented anywhere?
1. Community
2. IntelliJ IDEA Open API and Plugin Development
- 2 followers
- 1 comment
- 0 votes
Cory Geesaman created a post, June 01, 2018 21:48
New (non-ascii) brackets which don't trip inspections?

I'm using some non-ascii characters to extend the number of possible types of brackets for a custom language and am getting the "Non-ASCII characters in an identifier..." inspection triggered on th...
1. Community
2. IntelliJ IDEA Open API and Plugin Development
- 3 followers
- 1 comment
- 0 votes
Cory Geesaman commented, June 01, 2018 20:42
In regard to: Editor.getColorsScheme().setEditorFontName(fontName) What is the appropriate location to make that call?
- 0 votes
Cory Geesaman commented, 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
Cory Geesaman commented, 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
Cory Geesaman commented, 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
Cory Geesaman commented, June 01, 2018 09:47
Is it possible to limit that change to only specific documents? The special characters I'm using are pretty far outside of the ASCII range so I could likely override it for everything, just feels ...
- 0 votes
Cory Geesaman commented, May 31, 2018 21:37
The second one is probably the easier of the two, but I'm curious if it's possible to change the font of a document from within a plugin (not through settings exposed to the end user.)
- 0 votes
Cory Geesaman created a post, May 31, 2018 21:23
Custom Font For Plugin File Type?

Is it possible to set a custom font for a filetype defined by a plugin? I'm working on a plugin for a custom language which uses a lot of special brackets which generally look bad in normal fonts (...
1. Community
2. IntelliJ IDEA Open API and Plugin Development
- 3 followers
- 12 comments
- 0 votes
Cory Geesaman commented, May 31, 2018 16:39
Thanks, I think I have it after reading that, just issues moving carets and selections around now but I should be able to figure that out.
- 0 votes