| 8172 | } |
| 8173 | |
| 8174 | function detachSharedMarkers(markers) { |
| 8175 | var loop = function (i) { |
| 8176 | var marker = markers[i], |
| 8177 | linked = [marker.primary.doc] |
| 8178 | linkedDocs(marker.primary.doc, function (d) { |
| 8179 | return linked.push(d) |
| 8180 | }) |
| 8181 | for (var j = 0; j < marker.markers.length; j++) { |
| 8182 | var subMarker = marker.markers[j] |
| 8183 | if (indexOf(linked, subMarker.doc) == -1) { |
| 8184 | subMarker.parent = null |
| 8185 | marker.markers.splice(j--, 1) |
| 8186 | } |
| 8187 | } |
| 8188 | } |
| 8189 | |
| 8190 | for (var i = 0; i < markers.length; i++) loop(i) |
| 8191 | } |
| 8192 | |
| 8193 | var nextDocId = 0 |
| 8194 | var Doc = function (text, mode, firstLine, lineSep, direction) { |