(doc, skip, sharedHist)
| 7763 | // Call f for all linked documents. |
| 7764 | function linkedDocs(doc, f, sharedHistOnly) { |
| 7765 | function propagate(doc, skip, sharedHist) { |
| 7766 | if (doc.linked) for (var i = 0; i < doc.linked.length; ++i) { |
| 7767 | var rel = doc.linked[i]; |
| 7768 | if (rel.doc == skip) continue; |
| 7769 | var shared = sharedHist && rel.sharedHist; |
| 7770 | if (sharedHistOnly && !shared) continue; |
| 7771 | f(rel.doc, shared); |
| 7772 | propagate(rel.doc, doc, shared); |
| 7773 | } |
| 7774 | } |
| 7775 | propagate(doc, null, true); |
| 7776 | } |
| 7777 |