(doc)
| 6071 | } |
| 6072 | |
| 6073 | function findSharedMarkers(doc) { |
| 6074 | return doc.findMarks(Pos(doc.first, 0), doc.clipPos(Pos(doc.lastLine())), |
| 6075 | function(m) { return m.parent; }); |
| 6076 | } |
| 6077 | |
| 6078 | function copySharedMarkers(doc, markers) { |
| 6079 | for (var i = 0; i < markers.length; i++) { |