search

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

Don't call saveDocument on the main thread #7

Closed ComFreek closed 5 years ago

ComFreek commented 5 years ago

https://github.com/UniFormal/IntelliJ-MMT/blob/77ef8d1c5448824f76fce7ccf696d56829de6f60/src/main/scala/info/kwarc/mmt/intellij/checking/Checking.scala#L22

The docblock of FileDocumentManager#saveDocument says:

Should be invoked on the event dispatch thread.

Indeed clicking "build file" throws an exception mentioning this very fact for me.

ComFreek commented 5 years ago

Has been solved in some commit I witnessed :smile: