go.tools: sync play.js from go.talks

R=golang-dev, dsymonds
CC=golang-dev
https://golang.org/cl/14177043

godoc/static/play.js

@@ -13,17 +13,20 @@ function initPlayground(transport) {
 		var s = "";
 		for (var i = 0; i < node.childNodes.length; i++) {
 			var n = node.childNodes[i];
-			if (n.nodeType !== 1) continue;
-			if (n.tagName === "BUTTON") continue;
-			if (n.tagName === "SPAN" && n.className === "number") continue;
-			if (n.tagName === "PRE"){
+			if (n.nodeType === 1) {
+				if (n.tagName === "BUTTON") continue
+				if (n.tagName === "SPAN" && n.className === "number") continue;
+				if (n.tagName === "DIV" || n.tagName == "BR") {
+					s += "\n";
+				}
 				s += text(n);
 				continue;
 			}
-			var innerText = n.innerText === undefined ? "textContent" : "innerText";
-			s += n[innerText] + "\n";
+			if (n.nodeType === 3) {
+				s += n.nodeValue;
+			}
 		}
-		return s;
+		return s.replace("\xA0", " "); // replace non-breaking spaces
 	}
 
 	function init(code) {

godoc/static/static.go

@@ -847,17 +847,20 @@ function initPlayground(transport) {
 		var s = "";
 		for (var i = 0; i < node.childNodes.length; i++) {
 			var n = node.childNodes[i];
-			if (n.nodeType !== 1) continue;
-			if (n.tagName === "BUTTON") continue;
-			if (n.tagName === "SPAN" && n.className === "number") continue;
-			if (n.tagName === "PRE"){
+			if (n.nodeType === 1) {
+				if (n.tagName === "BUTTON") continue
+				if (n.tagName === "SPAN" && n.className === "number") continue;
+				if (n.tagName === "DIV" || n.tagName == "BR") {
+					s += "\n";
+				}
 				s += text(n);
 				continue;
 			}
-			var innerText = n.innerText === undefined ? "textContent" : "innerText";
-			s += n[innerText] + "\n";
+			if (n.nodeType === 3) {
+				s += n.nodeValue;
+			}
 		}
-		return s;
+		return s.replace("\xA0", " "); // replace non-breaking spaces
 	}
 
 	function init(code) {