(doc, handle, changeType, op)
| 4591 | // returning the number and optionally registering the line as |
| 4592 | // changed. |
| 4593 | function changeLine(doc, handle, changeType, op) { |
| 4594 | var no = handle, line = handle; |
| 4595 | if (typeof handle == "number") line = getLine(doc, clipLine(doc, handle)); |
| 4596 | else no = lineNo(handle); |
| 4597 | if (no == null) return null; |
| 4598 | if (op(line, no) && doc.cm) regLineChange(doc.cm, no, changeType); |
| 4599 | return line; |
| 4600 | } |
| 4601 | |
| 4602 | // Helper for deleting text near the selection(s), used to implement |
| 4603 | // backspace, delete, and similar functionality. |
no test coverage detected