(cm)
| 82 | } |
| 83 | |
| 84 | function removePanels(cm) { |
| 85 | var info = cm.state.panels; |
| 86 | cm.state.panels = null; |
| 87 | |
| 88 | var wrap = cm.getWrapperElement(); |
| 89 | info.wrapper.parentNode.replaceChild(wrap, info.wrapper); |
| 90 | wrap.style.height = info.setHeight; |
| 91 | cm.setSize = cm._setSize; |
| 92 | cm.setSize(); |
| 93 | } |
| 94 | }); |