src/Pure/Thy/presentation.scala

       val title = "File " + quote(name.path.file_name)
       val content = output_document(title, HTML.text(snapshot.node.source))
       Preview(title, content)
     }
     else {
-      resources.make_preview(snapshot) match {
+      resources.file_preview(snapshot) match {
         case Some(preview) => preview
         case None =>
           val title =
             if (name.is_theory) "Theory " + quote(name.theory_base_name)
             else "File " + quote(name.path.file_name)