src/Tools/jEdit/src/output_dockable.scala

--- a/src/Tools/jEdit/src/output_dockable.scala	Tue Aug 30 15:49:27 2011 +0200
+++ b/src/Tools/jEdit/src/output_dockable.scala	Tue Aug 30 16:04:26 2011 +0200
@@ -86,7 +86,7 @@
             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
                 }