Fix #517

JetBrains · Jun 17, 2024 · 301a524 · 301a524
1 parent ef0e3ea
commit 301a524
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt b/src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt
@@ -70,7 +70,9 @@ class ArendSuspendContext(traceEntry: ArendTraceEntry, contextView: ArendTraceCo
                 }
             }
             val psiElement = getSourcePositionElement(traceEntry)
-            val psiText = psiElement?.text?.let(::shorten) ?: ArendBundle.message("arend.tracer.unknown.expression")
+            val psiText = runReadAction {
+                psiElement?.text?.let(::shorten) ?: ArendBundle.message("arend.tracer.unknown.expression")
+            }
             component.append(psiText, SimpleTextAttributes.REGULAR_ATTRIBUTES)
             setPositionText(component, positionComponents())
         }