diff --git a/services/web/public/es/rich-text.js b/services/web/public/es/rich-text.js index f87cb46339..3ed3236702 100644 --- a/services/web/public/es/rich-text.js +++ b/services/web/public/es/rich-text.js @@ -1,11 +1,19 @@ import CodeMirror, { Doc } from 'codemirror' +import LatexParser from './ide/editor/codemirror/parser' + export function init (rootEl) { - return CodeMirror(rootEl) + CodeMirror.defineMode('latex', () => new LatexParser()) + CodeMirror.defineMIME('application/x-tex', 'latex') + CodeMirror.defineMIME('application/x-latex', 'latex') + + return CodeMirror(rootEl, { + mode: 'latex' + }) } export function openDoc (cm, content) { - const newDoc = Doc(content) + const newDoc = Doc(content, 'latex') cm.swapDoc(newDoc) return newDoc }