Daniel Welch

创建于 2016年10月06日 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...

1. 社区
2. IntelliJ IDEA Open API and Plugin Development
3. update font in custom panel when changed in colors and fonts..

• 0 票

创建于 2016年10月06日 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...

1. 社区
2. IntelliJ IDEA Open API and Plugin Development
3. update font in custom panel when changed in colors and fonts..

• 0 票

创建于 2016年10月06日 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...

1. 社区
2. IntelliJ IDEA Open API and Plugin Development
3. update font in custom panel when changed in colors and fonts..

• 0 票

创建于 2016年05月17日 13:45

Thanks! I'll definitely take a look at the suggestions in a day or two.

1. 社区
2. IntelliJ IDEA Open API and Plugin Development
3. How to navigate to custom side panel UI by clicking on a gutter icon

• 0 票

创建于 2016年05月14日 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...

1. 社区
2. IntelliJ IDEA Open API and Plugin Development
3. How to navigate to custom side panel UI by clicking on a gutter icon

• 0 票