(f)
| 6605 | // garbage collected. |
| 6606 | |
| 6607 | function forEachCodeMirror(f) { |
| 6608 | if (!document.getElementsByClassName) { return } |
| 6609 | var byClass = document.getElementsByClassName("CodeMirror"), editors = []; |
| 6610 | for (var i = 0; i < byClass.length; i++) { |
| 6611 | var cm = byClass[i].CodeMirror; |
| 6612 | if (cm) { editors.push(cm); } |
| 6613 | } |
| 6614 | if (editors.length) { editors[0].operation(function () { |
| 6615 | for (var i = 0; i < editors.length; i++) { f(editors[i]); } |
| 6616 | }); } |
| 6617 | } |
| 6618 | |
| 6619 | var globalsRegistered = false; |
| 6620 | function ensureGlobalHandlers() { |
no test coverage detected