diff --git a/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js b/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js index 6ae97d474b..0bfaf94d62 100644 --- a/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js +++ b/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js @@ -1820,7 +1820,9 @@ const EnvHandler = function (TokeniseResult, ErrorReporter) { // flag any verbatim environments for special handling if ( name && - name.match(/^(verbatim|boxedverbatim|lstlisting|minted|Verbatim)$/) + name.match( + /^(verbatim|boxedverbatim|lstlisting|minted|Verbatim|tcblisting)$/ + ) ) { delimiter.verbatim = true } diff --git a/services/web/frontend/js/features/source-editor/lezer-latex/tokens.mjs b/services/web/frontend/js/features/source-editor/lezer-latex/tokens.mjs index 552f814a53..47dab9f3fb 100644 --- a/services/web/frontend/js/features/source-editor/lezer-latex/tokens.mjs +++ b/services/web/frontend/js/features/source-editor/lezer-latex/tokens.mjs @@ -697,6 +697,7 @@ const verbatimEnvNames = new Set([ 'minted', 'Verbatim', 'lstlisting', + 'tcblisting', 'codeexample', 'comment', ])