PR#5725: add pre tag also for -colorize-code

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Maxence Guesdon 2012-08-27 11:43:36 +00:00
parent 43de332b13
commit 9fc3231cfe
1 changed files with 5 additions and 1 deletions

View File

@ -336,7 +336,11 @@ class virtual text =
in
fun b s ->
if !colorize_code then
self#html_of_code b (remove_useless_newlines s)
(
bs b "<pre class=\"codepre\">";
self#html_of_code b (remove_useless_newlines s);
bs b "</pre>"
)
else
(
bs b "<pre class=\"codepre\"><code class=\"";