From 49f85e1edceb3637ae307c6ce97e9fcb46025ee6 Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Sun, 17 Jul 2011 14:06:19 +0000
Subject: [PATCH] fix problem with escapes on Copy As HTML (issue #771)

---
 app/src/processing/app/syntax/JEditTextArea.java | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java
index 3c5228fea..4ba6cd0b8 100644
--- a/app/src/processing/app/syntax/JEditTextArea.java
+++ b/app/src/processing/app/syntax/JEditTextArea.java
@@ -1708,7 +1708,7 @@ public class JEditTextArea extends JComponent
     if (tokenMarker == null) {
       for (int j = 0; j < segmentCount; j++) {
         char c = segmentArray[j + segmentOffset];
-        cf = cf.append(c);
+        //cf = cf.append(c);
         appendAsHTML(cf, c);
       }
     } else {
@@ -1733,7 +1733,7 @@ public class JEditTextArea extends JComponent
         if (id == Token.END) {
           char c = segmentArray[segmentOffset + offset];
           if (segmentOffset + offset < limit) {
-            //            cf.append(c);
+            //cf.append(c);
             appendAsHTML(cf, c);
           } else {
             cf.append('\n');
@@ -1756,7 +1756,8 @@ public class JEditTextArea extends JComponent
             // Force spaces at the beginning of the line
             cf.append("&nbsp;");
           } else {
-            cf.append(c);
+            appendAsHTML(cf, c);
+            //cf.append(c);
           }
           // Place close tags [/]
           if (j == (length - 1) && id != Token.NULL && styles[id].isBold())