(doc, sel, options)
| 2188 | |
| 2189 | // Set a new selection. |
| 2190 | function setSelection(doc, sel, options) { |
| 2191 | setSelectionNoUndo(doc, sel, options); |
| 2192 | addSelectionToHistory(doc, doc.sel, doc.cm ? doc.cm.curOp.id : NaN, options); |
| 2193 | } |
| 2194 | |
| 2195 | function setSelectionNoUndo(doc, sel, options) { |
| 2196 | if (hasHandler(doc, "beforeSelectionChange") || doc.cm && hasHandler(doc.cm, "beforeSelectionChange")) |
no test coverage detected