Open CalebJohn opened 3 years ago
Basically this means that the extra highlighting options should be disabled (e.g. cm-rm-header-token).
cm-rm-header-token
I think the best way to achieve this will be by updating the main app to leave tokens when in these sections.
yes this plugin should not operate inside katex blocks, the problems are with ^, like this:
Basically this means that the extra highlighting options should be disabled (e.g.
cm-rm-header-token
).I think the best way to achieve this will be by updating the main app to leave tokens when in these sections.