diff --git a/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java b/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java index 2f2cbee55..576e978cb 100644 --- a/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java +++ b/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java @@ -302,11 +302,6 @@ public class JavaTextAreaPainter extends TextAreaPainter * @param x */ protected void paintErrorLine(Graphics gfx, int line, int x) { - ErrorCheckerService ecs = getJavaEditor().getErrorChecker(); - if (ecs == null || ecs.latestResult.problems.isEmpty()) { - return; - } - LineMarker marker = getJavaEditor().findError(line); if (marker != null) { Problem problem = marker.getProblem();