diff options
| author | Marvin Borner | 2023-11-02 23:40:07 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-02 23:40:07 +0100 |
| commit | 027fc0f91ae7bf64564091fbcec7694f5d53d8fe (patch) | |
| tree | 3139e686afd08b863b6a5d82f73b1cd50172bc8e /editors/kate | |
| parent | b89634f854cb726d1d23172ce2ead76425c5441c (diff) | |
Improved kate syntax highlighting
Should ultimately not rely on hardcoded math symbols
Diffstat (limited to 'editors/kate')
| -rw-r--r-- | editors/kate/bruijn.xml | 39 |
1 files changed, 21 insertions, 18 deletions
diff --git a/editors/kate/bruijn.xml b/editors/kate/bruijn.xml index eb975a3..7d0b4ce 100644 --- a/editors/kate/bruijn.xml +++ b/editors/kate/bruijn.xml @@ -3,50 +3,53 @@ <highlighting> <contexts> <context attribute="Text" lineEndContext="#pop" name="text" > - <RegExpr attribute="Command" String="^:" context="command" beginRegion="Command" /> + <RegExpr attribute="Command" String="^:" context="command" /> <Detect2Chars attribute="Comment" char="#" char1=" " context="comment" beginRegion="Comment"/> - <RegExpr attribute="Definition" String="^[^ [(:#]+ " context="#pop" /> + <RegExpr attribute="Definition" String="^ *[^ [(:#]+ " /> <Detect2Chars attribute="Number" char="(" char1="+" context="number" beginRegion="Number"/> <Detect2Chars attribute="Number" char="(" char1="-" context="number" beginRegion="Number"/> <RegExpr attribute="Index" String="[0-9]" /> - <RegExpr attribute="Namespace" String="[α-ωΑ-ΩA-Z]+[α-ωΑ-Ωa-zA-Z]*" context="#stay"/> - <RegExpr attribute="Identifier" String="(…|[α-ωΑ-Ωa-z])+[^ \])]*" context="#stay"/> - <AnyChar attribute="Mixfix" String="!?*@.,:;+-_#$%^&<>/\\|{}~=" context="#stay" /> + <Detect2Chars attribute="Type" char="⧗" char1=" " context="type" /> + <RegExpr attribute="Namespace" String="[α-ωΑ-ΩA-Z]+[α-ωΑ-Ωa-zA-Z]*" /> + <AnyChar attribute="Mixfix" String="!?*@.,:;+-_#$%^&<>/\\|{}~=⋀⋁∘→∏∑⋅≠≥≤" /> + <RegExpr attribute="Identifier" String="[^ \[\(\]\)0-9'"]+[^ \[\(\]\)]*" /> <DetectChar attribute="String" context="string" char=""" /> - <DetectChar attribute="Char" context="char" char="'" /> - <DetectChar attribute="Abstraction" context="#stay" char="[" /> - <DetectChar attribute="Abstraction" context="#stay" char="]" /> - <DetectChar attribute="Application" context="#stay" char="(" /> - <DetectChar attribute="Application" context="#stay" char=")" /> + <RegExpr attribute="Char" String="'[^']'" /> + <DetectChar attribute="Abs" context="#stay" char="[" beginRegion="abs" /> + <DetectChar attribute="Abs" context="#pop" char="]" endRegion="abs" /> + <DetectChar attribute="App" context="#stay" char="(" beginRegion="app" /> + <DetectChar attribute="App" context="#pop" char=")" endRegion="app" /> + <DetectSpaces /> </context> - <context attribute="String" lineEndContext="#stay" name="string" > + <context attribute="String" lineEndContext="#pop" name="string" > <DetectChar attribute="String" context="#pop" char=""" /> </context> - <context attribute="Char" lineEndContext="#stay" name="char" > - <DetectChar attribute="Char" context="#pop" char="'" /> - </context> - <context attribute="Number" lineEndContext="#stay" name="number" > + <context attribute="Number" lineEndContext="#pop" name="number" > <DetectChar attribute="Number" context="#pop" char=")" /> </context> <context attribute="Comment" lineEndContext="#pop" name="comment"> </context> + <context attribute="Type" lineEndContext="#pop" name="type"/> <context attribute="Command" lineEndContext="#pop" name="command"> + <DetectChar attribute="App" context="#pop" char="(" /> + <DetectChar attribute="Abs" context="#pop" char="[" /> </context> </contexts> <itemDatas> - <itemData name="Abstraction" defStyleNum="dsControlFlow" /> - <itemData name="Application" defStyleNum="dsKeyword" /> + <itemData name="Abs" defStyleNum="dsControlFlow" /> + <itemData name="App" defStyleNum="dsKeyword" /> <itemData name="Char" defStyleNum="dsChar" /> <itemData name="Command" defStyleNum="dsPreprocessor" /> <itemData name="Comment" defStyleNum="dsComment" /> <itemData name="Definition" defStyleNum="dsVariable" /> <itemData name="Identifier" defStyleNum="dsFunction" /> <itemData name="Index" defStyleNum="dsSpecialChar" /> - <itemData name="Mixfix" defStyleNum="dsOperator" /> + <itemData name="Mixfix" defStyleNum="dsAttribute" /> <itemData name="Namespace" defStyleNum="dsExtension" /> <itemData name="Number" defStyleNum="dsBaseN" /> <itemData name="String" defStyleNum="dsString" /> <itemData name="Text" defStyleNum="dsNormal" /> + <itemData name="Type" defStyleNum="dsDocumentation" /> </itemDatas> </highlighting> </language> |