diff options
author | Michele Calgaro <[email protected]> | 2014-01-09 00:24:34 +0100 |
---|---|---|
committer | Slávek Banko <[email protected]> | 2014-01-09 00:24:34 +0100 |
commit | bf4e405e03859bf383f55715944f4f71bd338c34 (patch) | |
tree | 293783d05c079b477b9ef396bbd851ca01714e2d /kate/data/literate-curry.xml | |
parent | c5189a79b8621b38b53e3cec952d49630e16dd3a (diff) | |
download | tdelibs-bf4e405e03859bf383f55715944f4f71bd338c34.tar.gz tdelibs-bf4e405e03859bf383f55715944f4f71bd338c34.zip |
Update kate syntax highlight files
Diffstat (limited to 'kate/data/literate-curry.xml')
-rw-r--r-- | kate/data/literate-curry.xml | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/kate/data/literate-curry.xml b/kate/data/literate-curry.xml new file mode 100644 index 000000000..2ea3ecd69 --- /dev/null +++ b/kate/data/literate-curry.xml @@ -0,0 +1,50 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE language SYSTEM "language.dtd"> +<language name="Literate Curry" version="0.3" kateversion="2.5" + section="Sources" extensions="*.lcurry" mimetype="text/x-curry" + author="Björn Peemöller ([email protected])" license="LGPL" + indenter="haskell"> + <highlighting> + <contexts> + + <context attribute="Text" lineEndContext="#stay" name="Text"> + <!-- Bird Tracks --> + <DetectChar attribute="BirdTrack" context="Code" char=">" column="0"/> + <DetectChar attribute="BirdTrack" context="Code" char="<" column="0"/> + <!-- \begin{code} and \begin{spec} --> + <StringDetect attribute="Text" context="normals" String="\begin{code}"/> + <StringDetect attribute="Text" context="normals" String="\begin{spec}"/> + </context> + + <context attribute="Normal" lineEndContext="#pop" name="Code"> + <RegExpr attribute="Comment" context="multiline" String="\{-[^#]" /> + <IncludeRules context="##Curry" /> + </context> + + <context attribute="Normal" lineEndContext="#stay" name="normals"> + <StringDetect attribute="Normal" context="#pop" String="\end{code}"/> + <StringDetect attribute="Normal" context="#pop" String="\end{spec}"/> + <IncludeRules context="##Curry" /> + </context> + + <!-- Handle comments in presence of bird tracks --> + <context attribute="Comment" lineEndContext="lineend" name="multiline" > + <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" /> + </context> + + <context attribute="Text" lineEndContext="#stay" name="lineend"> + <DetectChar attribute="BirdTrack" context="restart" char=">" column="0"/> + <DetectChar attribute="BirdTrack" context="restart" char="<" column="0"/> + </context> + + <context attribute="Comment" lineEndContext="#pop" name="restart"> + <Detect2Chars attribute="Comment" context="#pop#pop#pop" char="-" char1="}" /> + </context> + </contexts> + <itemDatas> + <itemData name="Text" defStyleNum="dsNormal" spellChecking="true" /> + <itemData name="BirdTrack" defStyleNum="dsOthers" spellChecking="false" /> + <itemData name="Comment" defStyleNum="dsComment" /> + </itemDatas> + </highlighting> +</language> |