IDEs Support (IntelliJ Platform) | JetBrains

Rik van der Kleij

Total activity 6
Last activity April 11, 2017 15:24
Member since April 11, 2017 11:50
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Rik van der Kleij commented, April 11, 2017 15:24
Hi Peter, Many thanks!! Cheers, Rik
- 0 votes
Rik van der Kleij commented, April 11, 2017 13:58
Do you advice this to use for saving document? "scheduleWithWriteActionPriority(@NotNull final ProgressIndicator progressIndicator, ...
- 0 votes
Rik van der Kleij commented, April 11, 2017 13:49
I can run Hlint with executeOnPooledThread but still have to wait. Also doing the "PSI-work" within runReadAction seems to help but I like to see it faster. Btw, I still see sometimes save times of...
- 0 votes
Rik van der Kleij commented, April 11, 2017 13:32
Hi Peter, Thanks for replying fast! It's normally between 0 and 20 millis One time I noticed big variation in saving time, almost 300 millis. But I think the cause is the LocalInspectionTool. Prob...
- 0 votes
Rik van der Kleij created a post, April 11, 2017 11:50
How do I save document not in EDT

I want to save document not in EDT because it makes IntellIj slow. I want to save file in background because it only has to read document. I'm using ExternalAnnotator and after modifications in Int...
1. Community
2. IntelliJ IDEA Open API and Plugin Development
- 2 followers
- 6 comments
- 0 votes