@@ -33,12 +33,13 @@ var Value = function(){
35 var properEscape = function(str) {
35 var properEscape = function(str) {
36− str.replace('"', """);
37− str.replace("&", "&");
36+ return str.replace(/&/g, "&")
38− str.replace("'", "'");
37+ .replace(/"/g, /*"*/ """)
38+ .replace(/'/g, /*'*/ "'")
39− str.replace("<", "<");
39+ .replace(/</g, "<")
40− str.replace(">", ">");
40+ .replace(/>/g, ">")
41− return str;
41+ .replace(/ /g, " ")
42+ .replace(/\n/g, "<br/>");
44 var toText = function(elmList) {
45 var toText = function(elmList) {
@@ -56,7 +57,7 @@ var Value = function(){
56 return v ? "True" : "False";
57 return v ? "True" : "False";
57 } else if (typeof v === "number") {
58 } else if (typeof v === "number") {
58 return v+"";
59 return v+"";
59− } else if (typeof v === "string") {
60+ } else if (typeof v === "string" && v.length < 2) {
60 return "'"+v+"'";
61 return "'"+v+"'";
61 } else if (v[0]) {
62 } else if (v[0]) {
62 if (v[0].substring(0,5) === "Tuple") {
63 if (v[0].substring(0,5) === "Tuple") {