IDEs Support (IntelliJ Platform) | JetBrains

Daniel Welch

Total activity 30
Last activity April 03, 2018 14:32
Member since May 14, 2016 03:30
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 7

Created October 06, 2016 21:48

Ah! I see. I was running an older version of the IDE and EditorColorsManager#TOPIC is fairly new addition! I've updated and it is indeed working as you said it would--with the code you suggested. T...
- 0 votes
Created October 06, 2016 19:05

Hmm, Just to clarify, here's the code that I have in placeright now: EditorColorsManager.getInstance().addEditorColorsListener(new EditorColorsListener() { @Override public void globalSchemeC...
- 0 votes
Created October 06, 2016 17:44

Hm, it appears globalSchemeChange only fires when the global scheme changes (duh) but not for normal font changes... So perhaps there really isn't a good way to adjust font on custom panels whenev...
- 0 votes
Created May 17, 2016 13:45

Thanks! I'll definitely take a look at the suggestions in a day or two.
- 0 votes
Created May 14, 2016 04:23

Ah,so I'm thinking maybe getPopupMenuActions() in GutterIconRenderer might be what I'm looking for... I'll update this if I make some progress (though maybe it's not "the right way" to approach th...
- 0 votes