From fdadfaab4576786e47df9c717e24284613e73eda Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Tue, 21 Apr 2026 14:25:00 +0100 Subject: [PATCH] Remove non-LaTeX file extensions (#32339) GitOrigin-RevId: 370a27838ddc017b5b0926e47d550729d54d73aa --- .../frontend/js/features/source-editor/languages/index.ts | 5 ----- 1 file changed, 5 deletions(-) diff --git a/services/web/frontend/js/features/source-editor/languages/index.ts b/services/web/frontend/js/features/source-editor/languages/index.ts index 9a698b056a..b3e024a597 100644 --- a/services/web/frontend/js/features/source-editor/languages/index.ts +++ b/services/web/frontend/js/features/source-editor/languages/index.ts @@ -8,15 +8,11 @@ export const languages = [ 'sty', 'cls', 'clo', - 'bst', 'bbl', 'pdf_tex', 'pdf_t', - 'map', 'fd', - 'enc', 'def', - 'mf', 'pgf', 'tikz', 'bbx', @@ -28,7 +24,6 @@ export const languages = [ 'xmpdata', 'Rnw', 'rnw', - 'lyx', 'inc', 'dtx', 'hak',