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 -- This email may be signed or encrypted with GnuPG (http://www.gnupg.org). For more information, see http://en.wikipedia.org/wiki/Pretty_Good_Privacy
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Discuss mailing list [email protected] http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
