From e0a3dfec36d5cb2e264e114cec36f6537c044341 Mon Sep 17 00:00:00 2001 From: Mathias Jakobsen Date: Fri, 7 Jul 2023 11:17:33 +0100 Subject: [PATCH] [lezer] Allow slash in bibtex identifier GitOrigin-RevId: 88f5cf069563940b1e42763babdc1e58d65c1d31 --- .../js/features/source-editor/lezer-bibtex/bibtex.grammar | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/services/web/frontend/js/features/source-editor/lezer-bibtex/bibtex.grammar b/services/web/frontend/js/features/source-editor/lezer-bibtex/bibtex.grammar index fd4f970d06..2d67081ea2 100644 --- a/services/web/frontend/js/features/source-editor/lezer-bibtex/bibtex.grammar +++ b/services/web/frontend/js/features/source-editor/lezer-bibtex/bibtex.grammar @@ -4,7 +4,7 @@ @tokens { whiteSpace { @whitespace+ } - Identifier { $[a-zA-Z:_0-9-]+ } + Identifier { $[a-zA-Z:_0-9-/]+ } StringName { $[a-zA-Z:_] $[a-zA-Z:_0-9-]* } FieldName {$[a-zA-Z-_0-9]+} LiteralString {