src/Pure/Thy/document_antiquotation.ML
changeset 72305 9c0b835d4cc2
parent 70308 a0b21b4b7a4a
--- a/src/Pure/Thy/document_antiquotation.ML	Sat Jul 25 23:23:59 2020 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Sun Jul 26 21:53:29 2020 +0200
@@ -181,7 +181,8 @@
     val _ = command pos (opts, src) preview_ctxt;
 
     val print_ctxt = Context_Position.set_visible false preview_ctxt;
-    val print_modes = space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN];
+    val print_modes =
+      space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN, Pretty.regularN];
   in [Print_Mode.with_modes print_modes (fn () => command pos (opts, src) print_ctxt) ()] end;
 
 in