src/Tools/jEdit/src/simplifier_trace_dockable.scala

       PIDE.editor.current_node_snapshot(view) match {
         case Some(snapshot) =>
           if (follow && !snapshot.is_outdated) {
             PIDE.editor.current_command(view, snapshot) match {
               case Some(cmd) =>
-                (snapshot, cmd, snapshot.state.command_results(snapshot.version, cmd), cmd.id)
+                (snapshot, cmd, snapshot.command_results(cmd), cmd.id)
               case None =>
                 (Document.State.init.snapshot(), Command.empty, Command.Results.empty, 0L)
             }
           }
           else (current_snapshot, current_command, current_results, current_id)