Thanks for putting this together - can you please PR it against
lesson-template (or file an issue there pointing at this discussion
thread and I'll copy information over when I get a chance)?
Cheers,
Greg
On 2015-12-02 1:34 AM, W. Trevor King wrote:
On Wed, Dec 02, 2015 at 12:30:57AM +0000, Alexander Konovalov wrote:
Interestingly, I learned last week that Kate support GAP syntax
highlighting out-of-box, and checked that it works on my Linux
desktop.
Entries in [1] include things like:
Sync with upstream syntax file (ktexteditor/src/syntax/data/agda.xml).
Which lead me to the gap.xml here [2]. Cloning ktexteditor and using:
$ git log --follow src/syntax/data/gap.xml
shows that the GAP highlighting dates back to at least 2014-01-06 [3].
But [1] doesn't have the gap.xml, so I think you'll want to file a PR
or issue against [4] requesting that at least gap.xml be added. I
don't know what John MacFarlane's (highlighting-kate maintainer and
Pandoc founder) policy for pulling from ktexteditor is, and there are
a number of stale issues in highlighting-kate, so John may be short on
time (but who isn't?). You can always patch highlighting-kate locally
and build your own Pandoc in the meantime.
Cheers,
Trevor
[1]: https://github.com/jgm/highlighting-kate/tree/master/xml
[2]:
https://quickgit.kde.org/?p=ktexteditor.git&a=history&h=5a797d353ee6bd9916ae514cc5991c526219fef1&f=src%2Fsyntax%2Fdata%2Fgap.xml
[3]:
https://quickgit.kde.org/?p=ktexteditor.git&a=commit&h=e36c3caa32685120a3b3c709e6a1b19c644a8a6a
[4]: https://github.com/jgm/highlighting-kate
_______________________________________________
Discuss mailing list
[email protected]
http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
--
Dr. Greg Wilson | [email protected]
Software Carpentry | http://software-carpentry.org
_______________________________________________
Discuss mailing list
[email protected]
http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
