(cm)
| 8903 | } |
| 8904 | |
| 8905 | function clearDragCursor(cm) { |
| 8906 | if (cm.display.dragCursor) { |
| 8907 | cm.display.lineSpace.removeChild(cm.display.dragCursor) |
| 8908 | cm.display.dragCursor = null |
| 8909 | } |
| 8910 | } |
| 8911 | |
| 8912 | // These must be handled carefully, because naively registering a |
| 8913 | // handler for each editor will cause the editors to never be |
no outgoing calls
no test coverage detected