Function copySharedMarkers

external/.scrollLibs.js:8160–8172

(doc, markers)

  }

  function copySharedMarkers(doc, markers) {
    for (var i = 0; i < markers.length; i++) {
      var marker = markers[i],
        pos = marker.find()
      var mFrom = doc.clipPos(pos.from),
        mTo = doc.clipPos(pos.to)
      if (cmp(mFrom, mTo)) {
        var subMark = markText(doc, mFrom, mTo, marker.primary, marker.primary.type)
        marker.markers.push(subMark)
        subMark.parent = marker
      }
    }
  }

  function detachSharedMarkers(markers) {
    var loop = function (i) {