From 0e7a6375e9479ea714e8ea1c30fd97fef3977280 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sun, 7 Feb 2016 14:25:52 -0500
Subject: [PATCH] Escape text, and make spaces display properly.

---
 js/examples/textfield/index.js | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/js/examples/textfield/index.js b/js/examples/textfield/index.js
index 4ee1f4e..ab8991f 100644
--- a/js/examples/textfield/index.js
+++ b/js/examples/textfield/index.js
@@ -7,11 +7,21 @@ var Patch = Syndicate.Patch;
 var __ = Syndicate.__;
 var _$ = Syndicate._$;
 
+function escapeText(text) {
+  text = text.replace(/&/g, '&amp;');
+  text = text.replace(/</g, '&lt;');
+  text = text.replace(/>/g, '&gt;');
+  text = text.replace(/ /g, '&nbsp;');
+  return text;
+}
+
 function piece(text, pos, lo, hi, cls) {
   return "<span class='"+cls+"'>"+
     ((pos >= lo && pos < hi)
-     ? text.substring(lo, pos) + "<span class='cursor'></span>" + text.substring(pos, hi)
-     : text.substring(lo, hi))
+     ? (escapeText(text.substring(lo, pos)) +
+	"<span class='cursor'></span>" +
+	escapeText(text.substring(pos, hi)))
+     : escapeText(text.substring(lo, hi)))
     + "</span>";
 }
 
@@ -60,7 +70,6 @@ function spawnGui() {
     },
 
     updateDisplay: function () {
-      // BUG: escape text!
       var text = this.field ? this.field.text : "";
       var pos = this.field ? this.field.pos : 0;
       var highlight = this.highlight ? this.highlight.state : false;