From 28d73256472e35520b20847804bcdee956479fca Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 21:19:43 -0400
Subject: [PATCH] Skip empty things.

---
 prototype/UI/index.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index f4f56130c..2a467d66a 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -111,6 +111,7 @@
             var previous = range[0];
             for (i in syntax.indexed) {
                 var child = syntax.indexed[i];
+                if (child.pure == "") continue;
                 var childRange = getRange(child);
                 element.appendChild(document.createTextNode(source.substr(previous, childRange[0] - previous)));
                 element.appendChild(wrap("li", recur(child)));
@@ -121,6 +122,7 @@
             element = document.createElement("dl");
             var values = [];
             for (k in syntax.keyed.values) {
+                if (syntax.keyed.values[k].pure == "") continue;
                 values.push([ k, syntax.keyed.values[k] ]);
             }
             values.sort(function(a, b) {