(cm, e, override)
| 8215 | // registering a (non-DOM) handler on the editor for the event name, |
| 8216 | // and preventDefault-ing the event in that handler. |
| 8217 | function signalDOMEvent(cm, e, override) { |
| 8218 | if (typeof e == "string") |
| 8219 | e = {type: e, preventDefault: function() { this.defaultPrevented = true; }}; |
| 8220 | signal(cm, override || e.type, cm, e); |
| 8221 | return e_defaultPrevented(e) || e.codemirrorIgnore; |
| 8222 | } |
| 8223 | |
| 8224 | function signalCursorActivity(cm) { |
| 8225 | var arr = cm._handlers && cm._handlers.cursorActivity; |
no test coverage detected