From b4573323f7edd7e54311bd3cb5c6ec834f3256cf Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Wed, 25 Sep 2013 02:47:57 +0530 Subject: [PATCH] disabling those tiny rects, don't like 'em anymore --- .../mode/experimental/TextAreaPainter.java | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/pdex/src/processing/mode/experimental/TextAreaPainter.java b/pdex/src/processing/mode/experimental/TextAreaPainter.java index 12fec475f..2e28125d5 100644 --- a/pdex/src/processing/mode/experimental/TextAreaPainter.java +++ b/pdex/src/processing/mode/experimental/TextAreaPainter.java @@ -365,12 +365,15 @@ public class TextAreaPainter extends processing.app.syntax.TextAreaPainter { // gfx.fillRect(x1, y, rw, height); // Let the painting begin! - gfx.setColor(errorMarkerColor); - if (isWarning) { - gfx.setColor(warningMarkerColor); - } - gfx.fillRect(1, y + 2, 3, height - 2); + + // Little rect at starting of a line containing errors - disabling it for now +// gfx.setColor(errorMarkerColor); +// if (isWarning) { +// gfx.setColor(warningMarkerColor); +// } +// gfx.fillRect(1, y + 2, 3, height - 2); + gfx.setColor(errorColor); if (isWarning) { gfx.setColor(warningColor);