src/Pure/PIDE/isar_document.scala
changeset 39625 fb0c851e4f9d
parent 39622 53365ba766ac
child 39627 108901b49210
     1.1 --- a/src/Pure/PIDE/isar_document.scala	Thu Sep 23 14:26:55 2010 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.scala	Thu Sep 23 14:39:29 2010 +0200
     1.3 @@ -72,7 +72,14 @@
     1.4  
     1.5    /* specific messages */
     1.6  
     1.7 -  def is_tracing(msg: XML.Tree): Boolean =
     1.8 +  def is_ready(msg: XML.Tree): Boolean =
     1.9 +    msg match {
    1.10 +      case XML.Elem(Markup(Markup.STATUS, _),
    1.11 +        List(XML.Elem(Markup(Markup.READY, _), _))) => true
    1.12 +      case _ => false
    1.13 +    }
    1.14 +
    1.15 + def is_tracing(msg: XML.Tree): Boolean =
    1.16      msg match {
    1.17        case XML.Elem(Markup(Markup.TRACING, _), _) => true
    1.18        case _ => false