(e)
| 7894 | var e_stop = CodeMirror.e_stop = function(e) {e_preventDefault(e); e_stopPropagation(e);}; |
| 7895 | |
| 7896 | function e_target(e) {return e.target || e.srcElement;} |
| 7897 | function e_button(e) { |
| 7898 | var b = e.which; |
| 7899 | if (b == null) { |
no outgoing calls
no test coverage detected