github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Restore the original loops.

Browse Source
This commit is contained in:
Rob Rix 2015-10-21 17:51:57 -04:00
parent 2f7f00920e
commit 3a96ea86a7
1 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
prototype/UI/index.html
View File

@ -119,7 +119,14 @@
if (model instanceof Indexed) { if (model instanceof Indexed) {
element = document.createElement("ul"); element = document.createElement("ul");
if (model.source != null && model.range != null) { if (model.source != null && model.range != null) {
addTextAndChildNodes(element, model.source, model.range, model.values); var previous = range[0];
for (i in values) {
var value = values[i];
element.appendChild(document.createTextNode(source.substr(previous, value.range[0] - previous)));
element.appendChild(wrap("li", toDOM(value)));
previous = value.range[0] + value.range[1];
}
element.appendChild(document.createTextNode(source.substr(previous, range[0] + range[1] - previous)));
} else { } else {
for (i in model.values) { for (i in model.values) {
element.appendChild(wrap("li", toDOM(model.values[i]))); element.appendChild(wrap("li", toDOM(model.values[i])));
@ -143,7 +150,17 @@
return 0; return 0;
}); });
addTextAndChildNodes(element, model.source, model.range, values.map(function(x) { return x[1]; })); var previous = range[0];
for (i in values) {
var value = values[i];
element.appendChild(document.createTextNode(source.substr(previous, value.range[0] - previous)));
var dt = document.createElement("dt");
dt.textContent = k;
element.appendChild(dt);
element.appendChild(wrap("dd", toDOM(value)));
previous = value.range[0] + value.range[1];
}
element.appendChild(document.createTextNode(source.substr(previous, range[0] + range[1] - previous)));
} else { } else {
for (k in model.values) { for (k in model.values) {
var dt = document.createElement("dt"); var dt = document.createElement("dt");