From 0fba9dc374cb729bb93476bea425b17466866b87 Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Fri, 5 May 2023 09:34:41 +0100 Subject: [PATCH] Add a $CtrlSym group to the latex language (#12919) GitOrigin-RevId: 4ee8ba7fe85f37dbe4cab04dae699b2a66007a2d --- .../features/source-editor/languages/latex/latex-language.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/services/web/frontend/js/features/source-editor/languages/latex/latex-language.ts b/services/web/frontend/js/features/source-editor/languages/latex/latex-language.ts index 50745b8ddf..da9291f38b 100644 --- a/services/web/frontend/js/features/source-editor/languages/latex/latex-language.ts +++ b/services/web/frontend/js/features/source-editor/languages/latex/latex-language.ts @@ -106,6 +106,9 @@ export const LaTeXLanguage = LRLanguage.define({ Tokens.ctrlSym.includes(type.name) ) { types.push('$CtrlSeq') + if (Tokens.ctrlSym.includes(type.name)) { + types.push('$CtrlSym') + } } else if (Tokens.envName.includes(type.name)) { types.push('$EnvName') } else if (type.name.endsWith('Argument')) {