src/Tools/VSCode/src/dynamic_output.scala

               model.current_command(snapshot, caret_range.start) match {
                 case None => copy(output = Nil)
                 case Some(command) =>
                   copy(output =
                     if (!restriction.isDefined || restriction.get.contains(command))
-                      Rendering.output_messages(
-                        snapshot.state.command_results(snapshot.version, command))
+                      Rendering.output_messages(snapshot.command_results(command))
                     else output)
               }
             }
             else this
         }