Add a $CtrlSym group to the latex language (#12919)

GitOrigin-RevId: 4ee8ba7fe85f37dbe4cab04dae699b2a66007a2d
This commit is contained in:
Alf Eaton 2023-05-05 09:34:41 +01:00 committed by Copybot
parent 959e6a73d8
commit 0fba9dc374

View file

@ -106,6 +106,9 @@ export const LaTeXLanguage = LRLanguage.define({
Tokens.ctrlSym.includes(type.name) Tokens.ctrlSym.includes(type.name)
) { ) {
types.push('$CtrlSeq') types.push('$CtrlSeq')
if (Tokens.ctrlSym.includes(type.name)) {
types.push('$CtrlSym')
}
} else if (Tokens.envName.includes(type.name)) { } else if (Tokens.envName.includes(type.name)) {
types.push('$EnvName') types.push('$EnvName')
} else if (type.name.endsWith('Argument')) { } else if (type.name.endsWith('Argument')) {