src/Tools/jEdit/src/output_dockable.scala

         case Some(doc_view) =>
           current_command match {
             case Some(cmd) if !restriction.isDefined || restriction.get.contains(cmd) =>
               val snapshot = doc_view.update_snapshot()
               val filtered_results =
-                snapshot.state(cmd).results.iterator.map(_._2) filter {
+                snapshot.command_state(cmd).results.iterator.map(_._2) filter {
                   case XML.Elem(Markup(Markup.TRACING, _), _) => show_tracing  // FIXME not scalable
                   case _ => true
                 }
               html_panel.render(filtered_results.toList)
             case _ =>