From 33f13d25f8f02b9c477675a2af6c4b5fe7cd7813 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 1 Jun 2015 09:28:30 +0200
Subject: [PATCH] Editor: highlights cleared also on upload. Fixes #3253

---
 app/src/processing/app/Editor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 0190693d1..415436eeb 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -2519,6 +2519,7 @@ public class Editor extends JFrame implements RunnerListener {
     public void run() {
 
       try {
+        textarea.removeAllLineHighlights();
         if (serialMonitor != null) {
           serialMonitor.suspend();
         }