diff options
| author | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
|---|---|---|
| committer | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
| commit | eaa8ccaccb1091820d0a8d1223996a6dd057347d (patch) | |
| tree | 6b4aaa3b3d1a2fed68147510142663222533775a /public/vendor/codemirror/addon/display/placeholder.js | |
| parent | ce65e58096d57ace02723d11a125673f9d48c293 (diff) | |
Upgrade CodeMirror to 5.10.1 and now support fullscreen, jump-to-line in editor
Diffstat (limited to 'public/vendor/codemirror/addon/display/placeholder.js')
| -rw-r--r--[-rwxr-xr-x] | public/vendor/codemirror/addon/display/placeholder.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/public/vendor/codemirror/addon/display/placeholder.js b/public/vendor/codemirror/addon/display/placeholder.js index bb0c3931..babddfb1 100755..100644 --- a/public/vendor/codemirror/addon/display/placeholder.js +++ b/public/vendor/codemirror/addon/display/placeholder.js @@ -37,7 +37,9 @@ var elt = cm.state.placeholder = document.createElement("pre"); elt.style.cssText = "height: 0; overflow: visible"; elt.className = "CodeMirror-placeholder"; - elt.appendChild(document.createTextNode(cm.getOption("placeholder"))); + var placeHolder = cm.getOption("placeholder") + if (typeof placeHolder == "string") placeHolder = document.createTextNode(placeHolder) + elt.appendChild(placeHolder) cm.display.lineSpace.insertBefore(elt, cm.display.lineSpace.firstChild); } |