diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index 3801eea2..d84d0a8d 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -464,7 +464,7 @@ var fileTypes = { //editor settings var textit = document.getElementById("textit"); if (!textit) throw new Error("There was no textit area!"); -var editor = CodeMirror.fromTextArea(textit, { +window.editor = CodeMirror.fromTextArea(textit, { mode: 'gfm', backdrop: 'gfm', keyMap: "sublime", |