Remove all highlights in EditorTab.setText()

When completely replacing all text, all highlights will end up at the
start of the file. Since keeping them at the right place is tricky (even
impossible in some circumstances), just remove them now.

This already happened in the autoformat code, so that part can be
removed.

Author: matthijskooijman

app/src/cc/arduino/packages/formatter/AStyle.java

@@ -91,7 +91,6 @@ public void run() {
     int line = getLineOfOffset(textArea);
     int lineOffset = getLineOffset(textArea, line);
 
-    editor.removeAllLineHighlights();
     editor.getCurrentTab().setText(formattedText);
 
     if (line != -1 && lineOffset != -1) {

app/src/processing/app/EditorTab.java

@@ -383,6 +383,9 @@ public String getText() {
    * Replace the entire contents of this tab.
    */
   public void setText(String what) {
+    // Remove all highlights, since these will all end up at the start of the
+    // text otherwise. Preserving them is tricky, so better just remove them.
+    textarea.removeAllLineHighlights();
     // Set the caret update policy to NEVER_UPDATE while completely replacing
     // the current text. Normally, the caret tracks inserts and deletions, but
     // replacing the entire text will always make the caret end up at the end,