author | wenzelm |
Sat, 19 May 2018 20:42:34 +0200 | |
changeset 68223 | 88dd06301dd3 |
parent 68222 | 3c1a716e7f59 |
child 68224 | 1f7308050349 |
child 68239 | 0764ee22a4d1 |
--- a/src/Pure/Thy/document_antiquotation.ML Sat May 19 20:19:15 2018 +0200 +++ b/src/Pure/Thy/document_antiquotation.ML Sat May 19 20:42:34 2018 +0200 @@ -159,7 +159,7 @@ fun eval ctxt (opts, src) = let - val preview_ctxt = fold option opts ctxt; + val preview_ctxt = fold option opts (Config.put show_markup false ctxt); val _ = command src preview_ctxt; val print_ctxt = Context_Position.set_visible false preview_ctxt;