> On 2 Dec 2015, at 01:34, W. Trevor King <[email protected]> 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.
Great, thanks - I think that the local patch will be my starting point, and then I will try to get it into highlighting-kate, or its upstream ktexteditor. The reason is that the gap.xml [2] imports several thousands of library functions, and to my mind this is not very useful. First, some of them are documented, while some others are not and may be for internal use only. Moreover, this list does not cover GAP packages which would extend this list and make it even more changeable. So my plan is to make more compact alternative of gap.xml (like, for example, a GAP mode for Atom, see https://github.com/ChrisJefferson/language-gap). Cheers Alexander > > [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 _______________________________________________ Discuss mailing list [email protected] http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
