Cory Geesaman

Edited June 01, 2018 20:42

In regard to:     Editor.getColorsScheme().setEditorFontName(fontName) What is the appropriate location to make that call?

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 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.

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 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...

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 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 ...

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 0 votes

Edited June 01, 2018 09:48

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 ...

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 0 votes

Created 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.)

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Custom Font For Plugin File Type?

• 0 votes

Created 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.

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Catching Multiple Hotkeys in Editor?

• 0 votes

Created May 31, 2018 15:53

I spoke a bit soon, it seems no matter how I try to implement it I'm getting the error:     2018-05-31 11:45:08,984 [  12688]  ERROR - plication.impl.ApplicationImpl - Assertion failed: Write acces...

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Catching Multiple Hotkeys in Editor?

• 0 votes

Created May 31, 2018 13:57

For anyone else who comes across this and wants a code sample, this works up through keybinding and outputting the result to the log: <action id="org.aquae.slip.HotkeyAction" class="org.aquae.slip....

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Catching Multiple Hotkeys in Editor?

• 0 votes

Created May 31, 2018 13:54

This seems to be the information I needed, thanks.

1. Community
2. IntelliJ IDEA Open API and Plugin Development
3. Catching Multiple Hotkeys in Editor?

• 0 votes