--- a/src/Pure/PIDE/resources.scala Wed Nov 18 15:47:53 2020 +0100
+++ b/src/Pure/PIDE/resources.scala Wed Nov 18 15:52:12 2020 +0100
@@ -56,7 +56,7 @@
def make_theory_content(thy_name: Document.Node.Name): Option[String] =
File_Format.registry.get_theory(thy_name).flatMap(_.make_theory_content(resources, thy_name))
- def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
+ def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
File_Format.registry.get(snapshot.node_name).flatMap(_.make_preview(snapshot))
def is_hidden(name: Document.Node.Name): Boolean =