diff options
author | Gaute Hope <eg@gaute.vetsj.com> | 2018-07-15 12:22:29 +0200 |
---|---|---|
committer | Gaute Hope <eg@gaute.vetsj.com> | 2018-07-15 12:22:29 +0200 |
commit | a3a3c2d1fd9e73f6b3cc48b462d6855edc0f212d (patch) | |
tree | 0f56226998c21b8d8fe97fb5054372d8eccad898 /History.txt | |
parent | 8fbbc4b386415022a0da44fe9cf81c0c094d3267 (diff) |
syntax-highlight through plugin
Diffstat (limited to 'History.txt')
-rw-r--r-- | History.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/History.txt b/History.txt index e96a65e..000a925 100644 --- a/History.txt +++ b/History.txt @@ -29,7 +29,7 @@ * Logging can be configured to go to syslog (or stdout, default). File logging is removed since we now have multiple processes and this would complicate writing to one file. -* Syntax highlighting has been removed. Hopefully temporarily. +* Syntax highlighting through JS has been replaced by a syntax highlight plugin based on Pygments. * Add filter_part plugin method, which can be used to modify the displayed HTML depending on either the text/plain or the text/html part. |