(f)
| 8457 | // garbage collected. |
| 8458 | |
| 8459 | function forEachCodeMirror(f) { |
| 8460 | if (!document.body.getElementsByClassName) return; |
| 8461 | var byClass = document.body.getElementsByClassName("CodeMirror"); |
| 8462 | for (var i = 0; i < byClass.length; i++) { |
| 8463 | var cm = byClass[i].CodeMirror; |
| 8464 | if (cm) f(cm); |
| 8465 | } |
| 8466 | } |
| 8467 | |
| 8468 | var globalsRegistered = false; |
| 8469 | function ensureGlobalHandlers() { |
no test coverage detected