huoxiaoyao

Just a pointer for future me or someone else: I guess the language is configured in src/util/get-scopes.js > function getMathScope(document, position) { if (!document.languageId.match(/latex|markdown/)) return undefined One could probably just...