From c7fae51dd03150c148bf113b7d3fe0f9918aad35 Mon Sep 17 00:00:00 2001
From: michael <michael@192.168.0.80>
Date: Tue, 14 Apr 2020 19:16:58 +0200
Subject: [PATCH] Text der Compilerfehlermeldung wird jetzt wieder angezeigt.

---
 .../src/typinferenzplugin/editor/JavEditor.java              | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
index c096f5f..2fc2862 100644
--- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
+++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
@@ -187,7 +187,10 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
 			} catch (TypeinferenceException texc) {
 				ErrorMarker errorMarker = new ErrorMarker(texc.getMessage(), new CodePoint(texc.getOffset()));
 				this.errorMarkers.add(errorMarker);
-				this.placeMarkers(extractResource(), singletonList(errorMarker));
+				
+				Display.getDefault().asyncExec(() -> {
+					this.placeMarkers(extractResource(), singletonList(errorMarker));
+				});
 			}
 		});