From 2747396cd33fba6e865083fbf2c2b2eccfaa210b Mon Sep 17 00:00:00 2001
From: Andrew n marshall <Anm@anm.me>
Date: Mon, 25 Jun 2018 10:19:29 -0700
Subject: [PATCH] Fixes to handling <pre> text content.

---
 demos/blockfactory/factory.js       | 2 +-
 demos/blockfactory/factory_utils.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/demos/blockfactory/factory.js b/demos/blockfactory/factory.js
index 0893d6bdd..5edf90c22 100644
--- a/demos/blockfactory/factory.js
+++ b/demos/blockfactory/factory.js
@@ -148,7 +148,7 @@ BlockFactory.updateLanguage = function() {
     if (!BlockFactory.updateBlocksFlagDelayed) {
       var languagePre = document.getElementById('languagePre');
       var languageTA = document.getElementById('languageTA');
-      code = languagePre.textContent.trim();
+      code = languagePre.innerText.trim();
       languageTA.value = code;
     }
   }
diff --git a/demos/blockfactory/factory_utils.js b/demos/blockfactory/factory_utils.js
index 81bb331f8..17a26ac56 100644
--- a/demos/blockfactory/factory_utils.js
+++ b/demos/blockfactory/factory_utils.js
@@ -889,7 +889,7 @@ FactoryUtils.injectCode = function(code, id) {
   pre.textContent = code;
   code = pre.textContent;
   code = PR.prettyPrintOne(code, 'js');
-  pre.textContent = code;
+  pre.innerHTML = code;
 };
 
 /**