diff options
Diffstat (limited to 'public/js/extra.js')
-rw-r--r-- | public/js/extra.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 05d00780..36d0e676 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -2,6 +2,7 @@ require('prismjs/themes/prism.css'); var Prism = require('prismjs'); require('prismjs/components/prism-wiki'); +require('prismjs/components/prism-haskell'); var hljs = require('highlight.js'); var PDFObject = require('pdfobject'); var S = require('string'); @@ -484,6 +485,11 @@ function finishView(view) { var result = { value: code }; + } else if (reallang == "haskell") { + code = S(code).unescapeHTML().s; + var result = { + value: Prism.highlight(code, Prism.languages.haskell) + }; } else if (reallang == "tiddlywiki" || reallang == "mediawiki") { code = S(code).unescapeHTML().s; var result = { |