From b008c19dc3b199567006309fcc0ed45d92150360 Mon Sep 17 00:00:00 2001 From: Mathias Jakobsen Date: Wed, 12 Jul 2023 11:58:00 +0100 Subject: [PATCH] Merge pull request #13836 from overleaf/mj-bibtex-identifier [lezer] Change bibtex identifier to deny-list GitOrigin-RevId: 005b256a22acbafbeefd641cec82460f603fbc7a --- .../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 eb3ac4b593..1fa519d4bc 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 @@ -5,7 +5,7 @@ @tokens { Other { ![@ \t\n] ![@]* } whiteSpace { $[\t\n ]+ } - Identifier { $[a-zA-Z:_0-9-/]+ } + Identifier { ![,{} \t\n%]+ } StringName { $[a-zA-Z:_] $[a-zA-Z:_0-9-]* } FieldName {$[a-zA-Z-_0-9]+} LiteralString {