diff options
author | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-08-26 11:15:40 +0200 |
---|---|---|
committer | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-08-26 11:15:40 +0200 |
commit | 2ab8214575e2504d33ba9d73002e3ca31d9283a7 (patch) | |
tree | 4cec7f047a4500a869509b29cd92986e443eb7ac /data | |
parent | 304792491b7e775e32415d6342bb73147c05d0cd (diff) | |
download | gtksourceview-2ab8214575e2504d33ba9d73002e3ca31d9283a7.tar.gz |
lean.lang: highlight attributes
Diffstat (limited to 'data')
-rw-r--r-- | data/language-specs/lean.lang | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang index 8dac67d9..fb9cf0eb 100644 --- a/data/language-specs/lean.lang +++ b/data/language-specs/lean.lang @@ -31,6 +31,7 @@ <styles> <style id="comment" name="Comment" map-to="def:comment"/> + <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"/> @@ -58,6 +59,14 @@ </include> </context> + <context id="attribute" style-ref="attribute"> + <start>@\[</start> + <end>\]</end> + <include> + <context ref="lean"/> + </include> + </context> + <context id="command" style-ref="command"> <match extended="true"> ^\s*\#( @@ -160,6 +169,7 @@ <include> <context ref="line-comment"/> <context ref="block-comment"/> + <context ref="attribute"/> <context ref="command"/> <context ref="keyword"/> <context ref="identifier"/> |