diff --git a/services/web/app/src/Features/Metadata/packageMapping.js b/services/web/app/src/Features/Metadata/packageMapping.js index 9677fe4dd3..f0b1a3a1f1 100644 --- a/services/web/app/src/Features/Metadata/packageMapping.js +++ b/services/web/app/src/Features/Metadata/packageMapping.js @@ -29109,6 +29109,12 @@ module.exports = { meta: 'varioref-cmd', score: 0.008565354665444157, }, + { + caption: '\\vref', + snippet: '\\vref{$1}', + meta: 'vref-cmd', + score: 0.008565354665444157, + }, ], SIunits: [ { 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 0be5adf312..933bbd7a71 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 @@ -461,6 +461,15 @@ const refCommands = new Set([ '\\vrefrange', '\\Crefrange', '\\Crefrang', + '\\fref', + '\\pref', + '\\tref', + '\\Aref', + '\\Bref', + '\\Pref', + '\\Sref', + '\\vref', + '\\nameref', ]) const refStarrableCommands = new Set([