src/Tools/jEdit/jedit_main/isabelle_sidekick.scala

 
 class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup") {
   override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = {
     val opt_snapshot =
       Document_Model.get(buffer) match {
-        case Some(model) if model.is_theory => Some(model.snapshot())
+        case Some(model) if model.is_theory => Some(Document_Model.snapshot(model))
         case _ => None
       }
     opt_snapshot match {
       case Some(snapshot) =>
         for ((command, command_start) <- snapshot.node.command_iterator() if !stopped) {