From 60d2dc25ab9eca6ba3737c3d7860917642d15a9c Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 7 Jul 2026 02:06:08 +1000 Subject: [PATCH] Add \proof environment to autocomplete list amsthm's \proof environment wasn't in the built-in environment completions, so it only appeared in the autocomplete dropdown after being typed several times elsewhere in the document. --- .../languages/latex/completions/data/environments.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts b/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts index df82a3a315..29414313d9 100644 --- a/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts +++ b/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts @@ -58,6 +58,7 @@ export const environments = new Map([ ], ['multline', snippet('multline')], ['multline*', snippet('multline*')], + ['proof', snippet('proof')], ['quote', snippet('quote')], ['split', snippet('split')], [