| 6260 | }; |
| 6261 | |
| 6262 | function markTextShared(doc, from, to, options, type) { |
| 6263 | options = copyObj(options); |
| 6264 | options.shared = false; |
| 6265 | var markers = [markText(doc, from, to, options, type)], primary = markers[0]; |
| 6266 | var widget = options.widgetNode; |
| 6267 | linkedDocs(doc, function(doc) { |
| 6268 | if (widget) options.widgetNode = widget.cloneNode(true); |
| 6269 | markers.push(markText(doc, clipPos(doc, from), clipPos(doc, to), options, type)); |
| 6270 | for (var i = 0; i < doc.linked.length; ++i) |
| 6271 | if (doc.linked[i].isParent) return; |
| 6272 | primary = lst(markers); |
| 6273 | }); |
| 6274 | return new SharedTextMarker(markers, primary); |
| 6275 | } |
| 6276 | |
| 6277 | function findSharedMarkers(doc) { |
| 6278 | return doc.findMarks(Pos(doc.first, 0), doc.clipPos(Pos(doc.lastLine())), |