(doc, skip, sharedHist)
| 5180 | |
| 5181 | function linkedDocs(doc, f, sharedHistOnly) { |
| 5182 | function propagate(doc, skip, sharedHist) { |
| 5183 | if (doc.linked) for (var i = 0; i < doc.linked.length; ++i) { |
| 5184 | var rel = doc.linked[i]; |
| 5185 | if (rel.doc == skip) continue; |
| 5186 | var shared = sharedHist && rel.sharedHist; |
| 5187 | if (sharedHistOnly && !shared) continue; |
| 5188 | f(rel.doc, shared); |
| 5189 | propagate(rel.doc, doc, shared); |
| 5190 | } |
| 5191 | } |
| 5192 | propagate(doc, null, true); |
| 5193 | } |
| 5194 |