(f)
| 8489 | // garbage collected. |
| 8490 | |
| 8491 | function forEachCodeMirror(f) { |
| 8492 | if (!document.body.getElementsByClassName) return; |
| 8493 | var byClass = document.body.getElementsByClassName("CodeMirror"); |
| 8494 | for (var i = 0; i < byClass.length; i++) { |
| 8495 | var cm = byClass[i].CodeMirror; |
| 8496 | if (cm) f(cm); |
| 8497 | } |
| 8498 | } |
| 8499 | |
| 8500 | var globalsRegistered = false; |
| 8501 | function ensureGlobalHandlers() { |
no test coverage detected