()
| 1444 | // Here we poll to unregister it when the editor is no longer in |
| 1445 | // the document, so that it can be garbage-collected. |
| 1446 | function unregister() { |
| 1447 | for (var p = d.wrapper.parentNode; p && p != document.body; p = p.parentNode) {} |
| 1448 | if (p) setTimeout(unregister, 5000); |
| 1449 | else off(window, "resize", onResize); |
| 1450 | } |
| 1451 | setTimeout(unregister, 5000); |
| 1452 | |
| 1453 | on(d.input, "keyup", operation(cm, function(e) { |