From 692ae3be29971134f111c314d20e70595ea71d37 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 18:41:29 -0400
Subject: [PATCH] Remove Indexed toDOM handling.

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

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 4ebf00c73..9474b9a96 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -121,26 +121,6 @@
             }
         }
 
-        if (model instanceof Indexed) {
-            element = document.createElement("ul");
-            if (model.source != null && model.range != null) {
-                var previous = model.range[0];
-                for (i in model.values) {
-                    var value = model.values[i];
-                    element.appendChild(document.createTextNode(model.source.substr(previous, value.range[0] - previous)));
-                    element.appendChild(wrap("li", toDOM(value)));
-                    previous = value.range[0] + value.range[1];
-                }
-                element.appendChild(document.createTextNode(model.source.substr(previous, model.range[0] + model.range[1] - previous)));
-            } else {
-                for (i in model.values) {
-                    element.appendChild(wrap("li", toDOM(model.values[i])));
-                }
-            }
-        }
-            }
-        }
-
         return element;
     }