src/Tools/jEdit/src/output_dockable.scala

       snapshot <- PIDE.editor.current_node_snapshot(view)
       if follow && !snapshot.is_outdated
     } {
       val (command, results) =
         PIDE.editor.current_command(view, snapshot) match {
-          case Some(command) =>
-            (command, snapshot.state.command_results(snapshot.version, command))
+          case Some(command) => (command, snapshot.command_results(command))
           case None => (Command.empty, Command.Results.empty)
         }
 
       val new_output =
         if (!restriction.isDefined || restriction.get.contains(command))