[gtksourceview: 1/5] lean.lang: lower the priority of the identifier context

[Christian Hergert <chergert src gnome org>]

commit 876ce1247e122ff46c258e143b85d5e052bfccaf
Author: Elias Aebi <353-eyelash users noreply gitlab gnome org>
Date:   Sat Sep 3 11:39:56 2022 +0200

    lean.lang: lower the priority of the identifier context
    
    This fixes the highlighting of boolean literals.

 data/language-specs/lean.lang | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang
index fb9cf0eb..73fa265e 100644
--- a/data/language-specs/lean.lang
+++ b/data/language-specs/lean.lang
@@ -34,12 +34,12 @@
     <style id="attribute" name="Attribute" map-to="def:preprocessor"/>
     <style id="command" name="Command" map-to="def:preprocessor"/>
     <style id="keyword" name="Keyword" map-to="def:keyword"/>
-    <style id="identifier" name="Identifier"/>
     <style id="string" name="String" map-to="def:string"/>
     <style id="character" name="Character" map-to="def:character"/>
     <style id="escaped-character" name="Escaped Character" map-to="def:special-char"/>
     <style id="numeric" name="Numeric" map-to="def:number"/>
     <style id="boolean" name="Boolean" map-to="def:boolean"/>
+    <style id="identifier" name="Identifier"/>
   </styles>
 
   <definitions>
@@ -112,14 +112,6 @@
       <keyword>λ</keyword>
     </context>
 
-    <context id="identifier" style-ref="identifier">
-      <match extended="true">
-        (?![λΠΣ])[a-zA-Zα-ωΑ-Ωἀ-῾ϊ-ϻ℀-⅏_]
-        (?:(?![λΠΣ])[a-zA-Zα-ωΑ-Ωἀ-῾ϊ-ϻ℀-⅏_0-9'ⁿ₀-₉ₐ-ₜᵢ-ᵪ])*
-        | «[^«»\r\n\t]*»
-      </match>
-    </context>
-
     <define-regex id="string-escape" extended="true">
       \\(
           \\
@@ -165,6 +157,14 @@
       <keyword>false</keyword>
     </context>
 
+    <context id="identifier" style-ref="identifier">
+      <match extended="true">
+        (?![λΠΣ])[a-zA-Zα-ωΑ-Ωἀ-῾ϊ-ϻ℀-⅏_]
+        (?:(?![λΠΣ])[a-zA-Zα-ωΑ-Ωἀ-῾ϊ-ϻ℀-⅏_0-9'ⁿ₀-₉ₐ-ₜᵢ-ᵪ])*
+        | «[^«»\r\n\t]*»
+      </match>
+    </context>
+
     <context id="lean" class="no-spell-check">
       <include>
         <context ref="line-comment"/>
@@ -172,11 +172,11 @@
         <context ref="attribute"/>
         <context ref="command"/>
         <context ref="keyword"/>
-        <context ref="identifier"/>
         <context ref="string"/>
         <context ref="character"/>
         <context ref="numeric"/>
         <context ref="boolean"/>
+        <context ref="identifier"/>
       </include>
     </context>