Text der Compilerfehlermeldung wird jetzt wieder angezeigt.

This commit is contained in:
michael 2020-04-14 19:16:58 +02:00
parent b025d376fd
commit c7fae51dd0

View File

@ -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);
Display.getDefault().asyncExec(() -> {
this.placeMarkers(extractResource(), singletonList(errorMarker));
});
}
});