Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in

Rik van der Kleij

Avatar
  • 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
    1. Community
    2. IntelliJ IDEA Open API and Plugin Development
    3. 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, ...
    1. Community
    2. IntelliJ IDEA Open API and Plugin Development
    3. 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...
    1. Community
    2. IntelliJ IDEA Open API and Plugin Development
    3. 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...
    1. Community
    2. IntelliJ IDEA Open API and Plugin Development
    3. How do I save document not in EDT
    • 0 votes
Copyright © 2000– JetBrains s.r.o.