agw/overleaf-cep
1
0
Fork 0
mirror of https://github.com/yu-i-i/overleaf-cep.git synced 2026-11-15 06:33:55 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #19512 from overleaf/mj-def-mathjax

Browse Source 
[web] Pass def, let, and (re)newenvironment to mathjax

GitOrigin-RevId: b79b656024bcaddd1bd96a4b9ed297de2de043e3
This commit is contained in:
Mathias Jakobsen
2024-07-24 08:04:58 +00:00
committed by Copybot
parent 291fdd4e30
commit f4896b2152
4 changed files with 49 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
services/web/frontend/js/features/source-editor/extensions/visual/atomic-decorations.ts
+39 -7
View File
@@ -616,14 +616,46 @@ export const atomicDecorations = (options: Options) => {
return false // no markup in verbatim content
} else if (
nodeRef.type.is('NewCommand') ||
nodeRef.type.is('RenewCommand')
nodeRef.type.is('RenewCommand') ||
nodeRef.type.is('Def')
) {
const argumentNode = nodeRef.node.getChild('LiteralArgContent')
if (argumentNode) {
const argument = state
.sliceDoc(argumentNode.from, argumentNode.to)
.trim()
if (/^\\\w+/.test(argument)) {
const nameNode =
nodeRef.node.getChild('LiteralArgContent') ??
nodeRef.node.getChild('Csname') ??
nodeRef.node.getChild('CtrlSym')
if (nameNode) {
const name = state.sliceDoc(nameNode.from, nameNode.to).trim()
if (/^\\\w+/.test(name)) {
const content = state.sliceDoc(nodeRef.from, nodeRef.to)
if (content) {
commandDefinitions += `${content}\n`
}
}
}
} else if (
nodeRef.type.is('RenewEnvironment') ||
nodeRef.type.is('NewEnvironment')
) {
const nameNode = nodeRef.node.getChild('LiteralArgContent')
if (nameNode) {
const name = state.sliceDoc(nameNode.from, nameNode.to).trim()
if (/^\w+/.test(name)) {
const content = state.sliceDoc(nodeRef.from, nodeRef.to)
if (content) {
commandDefinitions += `${content}\n`
}
}
}
} else if (nodeRef.type.is('Let')) {
const commandNodes = nodeRef.node.getChildren('Csname')
if (commandNodes.length !== 2) {
return
}
const nameNode = commandNodes[0]
if (nameNode) {
// We support more flexible names in let (Csname) than in newcommand
const name = state.sliceDoc(nameNode.from, nameNode.to).trim()
if (name.length > 1 && name.startsWith('\\')) {
const content = state.sliceDoc(nodeRef.from, nodeRef.to)
if (content) {
commandDefinitions += `${content}\n`