(doc, markers)
| 267 | } |
| 268 | |
| 269 | export function copySharedMarkers(doc, markers) { |
| 270 | for (let i = 0; i < markers.length; i++) { |
| 271 | let marker = markers[i], pos = marker.find() |
| 272 | let mFrom = doc.clipPos(pos.from), mTo = doc.clipPos(pos.to) |
| 273 | if (cmp(mFrom, mTo)) { |
| 274 | let subMark = markText(doc, mFrom, mTo, marker.primary, marker.primary.type) |
| 275 | marker.markers.push(subMark) |
| 276 | subMark.parent = marker |
| 277 | } |
| 278 | } |
| 279 | } |
| 280 | |
| 281 | export function detachSharedMarkers(markers) { |
| 282 | for (let i = 0; i < markers.length; i++) { |