(doc, skip, sharedHist)
| 4531 | |
| 4532 | function linkedDocs(doc, f, sharedHistOnly) { |
| 4533 | function propagate(doc, skip, sharedHist) { |
| 4534 | if (doc.linked) for (var i = 0; i < doc.linked.length; ++i) { |
| 4535 | var rel = doc.linked[i]; |
| 4536 | if (rel.doc == skip) continue; |
| 4537 | var shared = sharedHist && rel.sharedHist; |
| 4538 | if (sharedHistOnly && !shared) continue; |
| 4539 | f(rel.doc, shared); |
| 4540 | propagate(rel.doc, doc, shared); |
| 4541 | } |
| 4542 | } |
| 4543 | propagate(doc, null, true); |
| 4544 | } |
| 4545 |