(markers, primary)
| 3511 | // SHARED TEXTMARKERS |
| 3512 | |
| 3513 | function SharedTextMarker(markers, primary) { |
| 3514 | this.markers = markers; |
| 3515 | this.primary = primary; |
| 3516 | for (var i = 0, me = this; i < markers.length; ++i) { |
| 3517 | markers[i].parent = this; |
| 3518 | on(markers[i], "clear", function(){me.clear();}); |
| 3519 | } |
| 3520 | } |
| 3521 | CodeMirror.SharedTextMarker = SharedTextMarker; |
| 3522 | |
| 3523 | SharedTextMarker.prototype.clear = function() { |