Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
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
Activity overview
Posts (1)
Comments (4)
Sort by recent activity
Recent activity
Votes
Created
April 11, 2017 15:24
Hi Peter, Many thanks!! Cheers, Rik
Community
IntelliJ IDEA Open API and Plugin Development
How do I save document not in EDT
0 votes
Edited
April 11, 2017 14:00
Do you advice this to use for saving document? "scheduleWithWriteActionPriority(@NotNull final ProgressIndicator progressIndicator, ...
Community
IntelliJ IDEA Open API and Plugin Development
How do I save document not in EDT
0 votes
Created
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...
Community
IntelliJ IDEA Open API and Plugin Development
How do I save document not in EDT
0 votes
Created
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...
Community
IntelliJ IDEA Open API and Plugin Development
How do I save document not in EDT
0 votes