--- a/src/Tools/VSCode/src/preview_panel.scala Sun Jan 03 12:11:56 2021 +0100
+++ b/src/Tools/VSCode/src/preview_panel.scala Sun Jan 03 16:21:59 2021 +0100
@@ -31,7 +31,9 @@
if (snapshot.is_outdated) m
else {
val html_context = Presentation.html_context()
- val document = Presentation.html_document(resources, snapshot, html_context)
+ val document =
+ Presentation.html_document(
+ resources, snapshot, html_context, Presentation.html_elements2)
channel.write(LSP.Preview_Response(file, column, document.title, document.content))
m - file
}