Просмотр исходного кода

Merge pull request #19033 from overleaf/mj-lezer-unused-rule

[lezer] Remove unused rule

GitOrigin-RevId: 53402a3004d0ca781b29f16eaf4e7eae086450d3
Mathias Jakobsen 2 лет назад
Родитель
Сommit
bc9bb05c8f

+ 0 - 13
services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar

@@ -212,19 +212,6 @@ DefinitionArgument {
     !argument NewLine? Whitespace* OpenBrace DefinitionFragment CloseBrace
 }
 
-argument[@isGroup="$Argument"] {
-      TextArgument
-    | SectioningArgument
-    | LabelArgument
-    | RefArgument
-    | BibKeyArgument
-    | PackageArgument
-    | UrlArgument
-    | FilePathArgument
-    | BareFilePathArgument
-    | DefinitionArgument
-}
-
 MacroParameter {
     "#" ("1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9")
 }