From daec475bb29ebc45764d67ba27d6bfb84971062f Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Mon, 11 Sep 2023 10:55:42 +0100 Subject: [PATCH] [cm6] Remove .extension from extension definitions (#14694) GitOrigin-RevId: c15fee6b8d3b80cd32d2c3885dc885179e2a3a5b --- .../js/features/source-editor/languages/latex/index.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/services/web/frontend/js/features/source-editor/languages/latex/index.ts b/services/web/frontend/js/features/source-editor/languages/latex/index.ts index c48d3f4f49..d2b5a04dec 100644 --- a/services/web/frontend/js/features/source-editor/languages/latex/index.ts +++ b/services/web/frontend/js/features/source-editor/languages/latex/index.ts @@ -31,9 +31,9 @@ const completionSources: CompletionSource[] = [ export const latex = () => { return new LanguageSupport(LaTeXLanguage, [ shortcuts(), - documentOutline.extension, - documentCommands.extension, - documentEnvironmentNames.extension, + documentOutline, + documentCommands, + documentEnvironmentNames, latexIndentService(), linting(), metadata(),