(cm)
| 13329 | } |
| 13330 | } |
| 13331 | function setPlaceholder(cm) { |
| 13332 | clearPlaceholder(cm) |
| 13333 | var elt = (cm.state.placeholder = document.createElement("pre")) |
| 13334 | elt.style.cssText = "height: 0; overflow: visible" |
| 13335 | elt.style.direction = cm.getOption("direction") |
| 13336 | elt.className = "CodeMirror-placeholder CodeMirror-line-like" |
| 13337 | var placeHolder = cm.getOption("placeholder") |
| 13338 | if (typeof placeHolder == "string") placeHolder = document.createTextNode(placeHolder) |
| 13339 | elt.appendChild(placeHolder) |
| 13340 | cm.display.lineSpace.insertBefore(elt, cm.display.lineSpace.firstChild) |
| 13341 | } |
| 13342 | |
| 13343 | function onComposition(cm) { |
| 13344 | setTimeout(function () { |
no test coverage detected