From ec06db7c08c6ff7a43e40bbefb0db36f3126b72c Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 26 Oct 2015 09:35:54 -0400 Subject: [PATCH] Display Fixed nodes. --- prototype/UI/index.html | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/prototype/UI/index.html b/prototype/UI/index.html index 42c85efe1..3e388c47b 100644 --- a/prototype/UI/index.html +++ b/prototype/UI/index.html @@ -103,11 +103,12 @@ if (syntax.leaf != null) { element = document.createElement("span"); element.textContent = source.substr(range[0], range[1]); - } else if (syntax.indexed != null) { + } else if (syntax.indexed != null || syntax.fixed != null) { + var values = syntax.indexed || syntax.fixed; element = document.createElement("ul"); var previous = range[0]; - for (i in syntax.indexed) { - var child = syntax.indexed[i]; + for (i in values) { + var child = values[i]; if (child.pure == "") continue; var childRange = getRange(child); element.appendChild(document.createTextNode(source.substr(previous, childRange[0] - previous)));