Merge: nitiwiki: external highlighter
authorJean Privat <jean@pryen.org>
Thu, 10 Sep 2015 18:53:56 +0000 (14:53 -0400)
committerJean Privat <jean@pryen.org>
Thu, 10 Sep 2015 18:53:56 +0000 (14:53 -0400)
commit88a5940f938d045f767582e6dbf452a113ed5396
treee7075f604b3fd8d6529272b294879f929e21916c
parent94353a4a0f06dc3eb8181cb0ee4630f234a343d0
parent05dbeb903fbb2fcdf8a4ff1f14701f834c14d802
Merge: nitiwiki: external highlighter

This is a cleaned up version of what is currently doing the code highlighting and the table in the deployed http://nitlanguage.org

The basic idea here is to delegate the job to some other program. The program has to be configured in the config.ini under the key `wiki.highlighter`

This approach, while not pure nit, makes it quite easy to use whatever highlighter program the user prefer with whatever options (instead of hard-coding a specific external program in the nit source code).

An advanced way is to delegate to a shell script that checks arguments then dispatches to a real program.

ping maintainer: @Morriar

Pull-Request: #1701
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
src/testing/testing_doc.nit