Fix #525

JetBrains · Jul 5, 2024 · 67aeb20 · 67aeb20
1 parent 4648b84
commit 67aeb20
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/src/main/kotlin/org/arend/highlight/BasePass.kt b/src/main/kotlin/org/arend/highlight/BasePass.kt
@@ -118,7 +118,19 @@ abstract class BasePass(protected open val file: IArendFile, editor: Editor, nam
         return HighlightInfo.newHighlightInfo(type ?: levelToHighlightInfoType(error.level))
             .range(range)
             .severity(levelToSeverity(error.level))
-            .description(error.shortMessage)
+            .description(
+                run {
+                    var message: String? = null
+                    ApplicationManager.getApplication().run {
+                        executeOnPooledThread {
+                            runReadAction {
+                                message = error.shortMessage
+                            }
+                        }.get()
+                    }
+                    message ?: ""
+                }
+            )
             .escapedToolTip(XmlStringUtil.escapeString(DocStringBuilder.build(vHang(error.getShortHeaderDoc(ppConfig), error.getBodyDoc(ppConfig)))).replace("\n", "<br>"))
     }