Compare commits

..

No commits in common. "acd42c4f622e9f48e573c598222dfebc6da63f61" and "45934c5fd26c674fb1030fcd2adf72064fcb19c7" have entirely different histories.

View file

@ -27,19 +27,7 @@
text(size: 2em, weight: "bold", fill:red)[TO-DOs] text(size: 2em, weight: "bold", fill:red)[TO-DOs]
for t in todo-list.final() { for t in todo-list.final() {
let l = label(t.first()) let l = label(t.first())
let locs = query(l) list.item(link(l)[TODO #t.at(1) p.#locate(l).page() : #t.last()])
assert(
locs.len() >= 1,
message: "todo '" + t.first() + "' not found: " +
repr(t.last()) + " (query(" + repr(l) + ") = " + repr(locs) + ")"
)
if locs.len() >= 1 {
list.item(link(l)[TODO #t.at(1) p.#locs.first().location().page() : #t.last()])
} else {
list.item(link(l)[TODO #t.at(1) p.??? : #t.last()])
}
} }
} }
} }