diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-03-30 21:51:11 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-30 22:36:36 +0200 |
commit | 80d093843b4f782dda73054d4fc4ba9ef2a82843 (patch) | |
tree | 075da505671ae010f165c2663a8b411ce9a9f10d /src/Text/Pandoc/PDF.hs | |
parent | ea84cd0842ede0ff9835bc4aae47c949ee1d1dd2 (diff) | |
download | pandoc-80d093843b4f782dda73054d4fc4ba9ef2a82843.tar.gz |
Allow dynamic loading of syntax definitions.
See #3334.
* Add writerSyntaxMap to WriterOptions.
* Highlighting: added parameter for SyntaxMap to highlight.
* Implemented --syntax-definition option.
TODO:
[ ] Figure out whether we want to have the xml parsing
depend on the dtd (it currently does, and fails unless
the language.dtd is found in the same directory).
[ ] Add an option to read a KDE syntax highlighting theme
as a custom style.
[ ] Add tests.
Diffstat (limited to 'src/Text/Pandoc/PDF.hs')
0 files changed, 0 insertions, 0 deletions