Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
| -rw-r--r-- | runtime/queries/lean/highlights.scm | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/runtime/queries/lean/highlights.scm b/runtime/queries/lean/highlights.scm index 648507f7..a64feb1d 100644 --- a/runtime/queries/lean/highlights.scm +++ b/runtime/queries/lean/highlights.scm @@ -1,8 +1,3 @@ -; Variables -(identifier) @variable - -; Namespaces - (open namespace: (identifier) @namespace) (namespace @@ -202,7 +197,7 @@ (interpolated_string) @string ; (escape_sequence) @string.escape -; Reset highlighting in string interpolation +; Reset highlighing in string interpolation (interpolation) @none (interpolation @@ -214,3 +209,9 @@ ["|" "," "." ":" ";"] @punctuation.delimiter (sorry) @error + +;; Error +(ERROR) @error + +; Variables +(identifier) @variable |