From 86467ff4f40e32f7a179ed73398e6833b2a9e8f6 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 21 Oct 2015 16:31:53 -0400
Subject: [PATCH] Insert indexed nodes as a list.

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

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index a6269e4c4..a509e6d3d 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -90,6 +90,14 @@
             }
             return element;
         }
+
+        if (model.syntax instanceof Indexed) {
+            var element = document.createElement("ul");
+            for (i in model.syntax) {
+                element.appendChild(wrap("li", toDOM(model.syntax[i])));
+            }
+            return element;
+        }
     }
 
     function patch(patch, a, b) {