(doc, markers)
| 5113 | } |
| 5114 | |
| 5115 | function copySharedMarkers(doc, markers) { |
| 5116 | for (var i = 0; i < markers.length; i++) { |
| 5117 | var marker = markers[i], pos = marker.find(); |
| 5118 | var mFrom = doc.clipPos(pos.from), mTo = doc.clipPos(pos.to); |
| 5119 | if (cmp(mFrom, mTo)) { |
| 5120 | var subMark = markText(doc, mFrom, mTo, marker.primary, marker.primary.type); |
| 5121 | marker.markers.push(subMark); |
| 5122 | subMark.parent = marker; |
| 5123 | } |
| 5124 | } |
| 5125 | } |
| 5126 | |
| 5127 | function detachSharedMarkers(markers) { |
| 5128 | for (var i = 0; i < markers.length; i++) { |
no test coverage detected
searching dependent graphs…