src/Tools/VSCode/src/preview_panel.scala

--- a/src/Tools/VSCode/src/preview_panel.scala	Fri Dec 22 13:51:20 2017 +0100
+++ b/src/Tools/VSCode/src/preview_panel.scala	Fri Dec 22 14:27:59 2017 +0100
@@ -47,7 +47,7 @@
     val content =
       HTML.output_document(
         List(HTML.style(HTML.fonts_css()), HTML.style_file(HTML.isabelle_css)),
-        List(HTML.source(Present.theory_document(snapshot))),
+        List(HTML.source(Present.pide_document(snapshot))),
         css = "")
     (label, content)
   }