src/Tools/VSCode/src/preview_panel.scala

--- a/src/Tools/VSCode/src/preview_panel.scala	Tue Jan 05 13:08:45 2021 +0100
+++ b/src/Tools/VSCode/src/preview_panel.scala	Tue Jan 05 14:21:18 2021 +0100
@@ -33,7 +33,7 @@
                 val html_context = Presentation.html_context()
                 val document =
                   Presentation.html_document(
-                    resources, snapshot, html_context, Presentation.html_elements2)
+                    resources, snapshot, html_context, Presentation.elements2)
                 channel.write(LSP.Preview_Response(file, column, document.title, document.content))
                 m - file
               }