diff options
Diffstat (limited to 'public/js')
-rw-r--r-- | public/js/extra.js | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index b30a8cb0..9c21939f 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -102,13 +102,11 @@ function parseMeta(md, edit, view, toc, tocAffix) { var lang = null; var dir = null; var breaks = true; - var spellcheck = false; if (md && md.meta) { var meta = md.meta; lang = meta.lang; dir = meta.dir; breaks = meta.breaks; - spellcheck = meta.spellcheck; } //text language if (lang && typeof lang == "string") { @@ -140,18 +138,6 @@ function parseMeta(md, edit, view, toc, tocAffix) { } else { md.options.breaks = true; } - // spell check - if (typeof editor === 'object') { - var mode = null; - if (typeof spellcheck === 'boolean' && spellcheck) { - mode = 'spell-checker'; - } else { - mode = 'gfm'; - } - if (mode && mode !== editor.getOption('mode')) { - editor.setOption('mode', mode); - } - } } var viewAjaxCallback = null; |