From ec9cbf4dbf3b01122798d857cce69e1e5412c7fb Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 18:26:42 -0400
Subject: [PATCH] Remove leaf handling from toDOM.

---
 prototype/UI/index.html | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 707e83500..f3f1223f1 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -182,14 +182,6 @@
             }
         }
 
-        if (model instanceof Leaf) {
-            element = document.createElement("span");
-            if (model.source != null && model.range != null) {
-                element.textContent = model.source.substr(model.range[0], model.range[1]);
-            }
-            // ?
-        }
-
         return element;
     }